Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Automated theorem proving / Boolean algebra / Constraint programming / Logic in computer science / Formal methods / DPLL algorithm / Conflict-driven clause learning / Boolean satisfiability problem / Satisfiability modulo theories


Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis? , Albert Oliveras? , and Cesare Tinelli ??
Add to Reading List

Document Date: 2005-01-28 04:06:06

Open Document

File Size: 209,50 KB

Share Result on Facebook