BATTLESHIPS
Encoding a Complex Problem
Battleships Instructions
Battleships
Objects
Variables
Initial Conditions
Footprints
Counts
All Else Empty
Encoding Inference Rules
Next:
Encoding a Complex Problem
Up:
Satisfiability Encodings (04)
Previous:
CSP as SAT
