![Automated theorem proving / Model theory / Logic in computer science / Constraint programming / NP-complete problems / Boolean satisfiability problem / Satisfiability Modulo Theories / DPLL algorithm / Interpretation / Theoretical computer science / Logic / Mathematical logic Automated theorem proving / Model theory / Logic in computer science / Constraint programming / NP-complete problems / Boolean satisfiability problem / Satisfiability Modulo Theories / DPLL algorithm / Interpretation / Theoretical computer science / Logic / Mathematical logic](https://www.pdfsearch.io/img/53dfb571cf43bcb9c23b3f6787ce12f8.jpg) Date: 2013-02-07 03:54:46Automated theorem proving Model theory Logic in computer science Constraint programming NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories DPLL algorithm Interpretation Theoretical computer science Logic Mathematical logic | | First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012Add to Reading ListSource URL: cedeela.frDownload Document from Source Website File Size: 973,50 KBShare Document on Facebook
|