Back to Results
First PageMeta Content
Automated theorem proving / Boolean algebra / NP-complete problems / Constraint programming / Logic in computer science / Boolean satisfiability problem / Davis–Putnam algorithm / Satisfiability / Unit propagation / Theoretical computer science / Mathematics / Computational complexity theory


Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345
Add to Reading List

Document Date: 2013-07-29 01:10:58

Open Document

File Size: 620,87 KB

Share Result on Facebook
UPDATE