Back to Results
First PageMeta Content
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


Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA
Add to Reading List

Document Date: 2012-08-02 20:25:03

Open Document

File Size: 469,00 KB

Share Result on Facebook