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
|