DPLL - PDFSEARCH.IO - Document Search Engine

DPLL
Results: 52

#	Item
11	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:35 Mathematics Mathematical logic Theoretical computer science Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
12	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
13	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:34 Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
14	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:40 Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm Exponential time hypothesis Bin packing problem
15	Satisfiability Modulo Theories and DPLL(T) Andrew Reynolds March 18, 2015 Overview Add to Reading List Source URL: lara.epfl.ch Language: English
16	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:05:06
17	A DPLL(T ) Theory Solver for a Theory of Strings and Regular Expressions? Tianyi Liang1 , Andrew Reynolds1 , Cesare Tinelli1 , Clark Barrett2 , and Morgan Deters2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-07-24 18:46:22
18	Cours 6: solveurs SAT • Mod´elisation par SAT et solveurs SAT • DPLL et propagation de contraintes • Apprentissage de clauses • Retour en arri`ere g´en´eralis´e et structure de donn´ees • Heuristiques: cho Add to Reading List Source URL: www.enseignement.polytechnique.fr Language: French - Date: 2014-10-07 08:23:41
19	A DPLL(T ) Theory Solver for a Theory of Strings and Regular Expressions? Tianyi Liang1 , Andrew Reynolds1 , Cesare Tinelli1 , Clark Barrett2 , and Morgan Deters2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-07-24 18:29:56

UPDATE