Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Computational complexity theory / Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / DPLL / Phase-locked loop / Satisfiability


Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis1 , Albert Oliveras1 , and Cesare Tinelli2 1 Technical University of Catalonia
Add to Reading List

Document Date: 2005-03-21 16:24:36


Open Document

File Size: 90,32 KB

Share Result on Facebook
UPDATE