DPLL - PDFSEARCH.IO - Document Search Engine

DPLL
Results: 52

#	Item
41	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
42	EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-26 11:40:37 Logic programming Conjunctive normal form Local search Boolean satisfiability problem DPLL algorithm Theoretical computer science Constraint programming Declarative programming
43	Improving Parallel Local Search for SAT Alejandro Arbelaez1 , Youssef Hamadi2,3 1 Microsoft-INRIA joint-lab, Orsay France [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-07 07:14:51 Constraint programming Logic in computer science WalkSAT Boolean satisfiability problem Local search Algorithm DPLL algorithm Maximum satisfiability problem Search algorithm Theoretical computer science Applied mathematics Mathematics
44	Journal on Satisfiability, Boolean Modeling and Computation[removed] ManySAT: a Parallel SAT Solver Youssef Hamadi [removed] Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-12-08 06:37:10 Automated theorem proving Logic in computer science Computer file formats Mathematical optimization Operations research Boolean satisfiability problem DPLL algorithm Resolution Clause Theoretical computer science Mathematics Applied mathematics
45	Annales Mathematicae et Informaticae[removed]pp. 9–21 http://ami.ektf.hu Cube-and-Conquer approach for SAT solving on grids∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 13:48:28 Constraint programming Boolean algebra Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem DPLL algorithm Satz Solver Theoretical computer science Applied mathematics Mathematics
46	i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Mathematical logic Mathematics Boolean satisfiability problem DPLL algorithm Clause Resolution Conjunctive normal form Local consistency Unit propagation Theoretical computer science Constraint programming Automated theorem proving
47	Extracting a DPLL Algorithm Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 13:49:14 Logic in computer science Formal methods Automated theorem proving Proof theory Deduction Curry–Howard correspondence Symbol Entailment Boolean satisfiability problem Theoretical computer science Logic Mathematics
48	SAT Encodings Sugar Nonogram OSS Summary . Add to Reading List Source URL: bach.istc.kobe-u.ac.jp Language: English - Date: 2010-04-19 00:19:44 Declarative programming Boolean satisfiability problem DPLL algorithm Conjunctive normal form Constraint satisfaction Solver Theoretical computer science Constraint programming Applied mathematics
49	B-Cubing: New Possibilities for Efficient SAT-Solving Domagoj Babi´c, Student Member, IEEE, Jesse Bingham, Student Member, IEEE, and Add to Reading List Source URL: www.domagoj-babic.com Language: English - Date: 2008-08-13 18:39:15 Applied mathematics Formal methods Automated theorem proving Constraint programming DPLL algorithm Tree Symbol Binary search tree Boolean satisfiability problem Theoretical computer science Mathematics Binary trees
50	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics

UPDATE