Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Logic in computer science / NP-complete problems / Boolean algebra / Electronic design automation / Algebraic logic / Tseytin transformation / Boolean satisfiability problem / Conjunctive normal form / Canonical normal form


Microsoft Word - IBSdoc
Add to Reading List

Document Date: 2015-02-02 08:44:10


Open Document

File Size: 140,07 KB

Share Result on Facebook
UPDATE