BATTLESHIPS



 
next up previous
Next: Encoding a Complex Problem Up: Satisfiability Encodings (04) Previous: CSP as SAT