Back to Results
First PageMeta Content
Constraint programming / Automated theorem proving / Logic in computer science / Boolean algebra / NP-complete problems / Boolean satisfiability problem / DPLL algorithm / Davis–Putnam algorithm / Conjunctive normal form / Theoretical computer science / Mathematics / Applied mathematics


Document Date: 2010-05-28 11:06:43

Open Document

File Size: 139,11 KB

Share Result on Facebook
UPDATE