Back to Results
First PageMeta Content
Theoretical computer science / Resolution / Unit propagation / Conjunctive normal form / Literal / Backtracking / Inequality / Davis–Putnam algorithm / Automated theorem proving / Mathematics / Mathematical logic


Overview SAT Solving and its Relationship to CSPs ‫ ڗ‬Tremendous gains have been achieved over the
Add to Reading List

Document Date: 2006-02-02 18:24:48


Open Document

File Size: 150,54 KB

Share Result on Facebook
UPDATE