DPLL - PDFSEARCH.IO - Document Search Engine

DPLL
Results: 52

#	Item
21	A DPLL(T) Theory Solver for Strings and Regular Expressions Tianyi Liang Andrew Reynolds Cesare Tinelli Morgan Deters Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-07-24 18:15:38
22	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
23	LNCSA Tutorial on Satisfiability Modulo Theories Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Symbol Conjunctive normal form
24	A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Logic Mathematics Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Simplex algorithm Satisfiability
25	CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Computational complexity theory Mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Simplex algorithm
26	Deciding Effectively Propositional Logic using DPLL and substitution sets Leonardo de Moura, Ruzica Piskac and Nikolaj Bjørner August 15, 2008 Technical Report MSR-TR Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-08-15 03:29:35
27	AUTOMATING PSEUDO-BOOLEAN INFERENCE WITHIN A DPLL FRAMEWORK by HEIDI DIXON Add to Reading List Source URL: www.cirl.uoregon.edu Language: English - Date: 2006-12-03 23:20:59
28	Generalizing DPLL to Richer Logics Kenneth L. McMillan1 and Andreas Kuehlmann1 and and Mooly Sagiv2 1 Cadence Research Labs Tel Aviv University Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2010-03-29 16:55:00
29	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:25:03 Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Constraint programming Electronic design automation Formal methods Boolean satisfiability problem DPLL algorithm Conjunctive normal form Propositional calculus
30	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 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-07 03:54:46 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

UPDATE