Back to Results
First PageMeta Content
Mathematical logic / Constraint programming / Boolean algebra / Resolution / Conjunctive normal form / Unit propagation / Davis–Putnam algorithm / Ansgar / Boolean satisfiability problem / Automated theorem proving / Theoretical computer science / Mathematics


Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A
Add to Reading List

Document Date: 2006-06-05 00:33:08

Open Document

File Size: 213,78 KB

Share Result on Facebook
UPDATE