![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 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](https://www.pdfsearch.io/img/8ec0c8438b4482866d670354b69cfe22.jpg) Date: 2005-03-21 16:24:36Theoretical 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 CataloniaAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 90,32 KBShare Document on Facebook
|