Date: 2007-09-19 06:11:44Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Automated theorem proving Constraint programming Electronic design automation Conflict-driven clause learning Satisfiability modulo theories Boolean satisfiability problem Unit propagation | | Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo Add to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 221,63 KBShare Document on Facebook
|