CSPlib
Problems
prob014
Models
014: Solitaire Battleships
Specification
Data files
Results
References
Models
Cite
Edit Page
File
Type
Notes