![Mathematics / Algebra / Abstract algebra / Boolean algebra / Algebraic structures / Logic in computer science / Constraint programming / Boolean satisfiability problem / Electronic design automation / DPLL algorithm / Conjunctive normal form / Boolean Mathematics / Algebra / Abstract algebra / Boolean algebra / Algebraic structures / Logic in computer science / Constraint programming / Boolean satisfiability problem / Electronic design automation / DPLL algorithm / Conjunctive normal form / Boolean](https://www.pdfsearch.io/img/325bedb429be9849afa2ce970551fbc4.jpg) Date: 2012-08-02 20:25:03Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Logic in computer science Constraint programming Boolean satisfiability problem Electronic design automation DPLL algorithm Conjunctive normal form Boolean | | Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USAAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source Website File Size: 469,00 KBShare Document on Facebook
|