Back to Results
First PageMeta Content
Declarative programming / Boolean satisfiability problem / DPLL algorithm / Conjunctive normal form / Constraint satisfaction / Solver / Theoretical computer science / Constraint programming / Applied mathematics


SAT Encodings Sugar Nonogram OSS Summary .
Add to Reading List

Document Date: 2010-04-19 00:19:44

Open Document

File Size: 664,75 KB

Share Result on Facebook
UPDATE