Back to Results
First PageMeta Content
Automated theorem proving / NP-complete problems / Unit propagation / 2-satisfiability / Time complexity / Variable / MAX-3SAT / (SAT / ε-UNSAT) / Theoretical computer science / Mathematics / Computational complexity theory


doi:j.ipl
Add to Reading List

Document Date: 2008-03-02 23:12:13

Open Document

File Size: 126,13 KB

Share Result on Facebook
UPDATE