Back to Results
First PageMeta Content
NP-complete problems / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Logic in computer science / 2-satisfiability / Conjunctive normal form / PP / MAX-3SAT / Theoretical computer science / Computational complexity theory / Applied mathematics


Document Date: 2002-04-24 17:27:28

Open Document

File Size: 512,37 KB

Share Result on Facebook
UPDATE