Conflict-Driven Clause Learning - PDFSEARCH.IO - Document Search Engine

Conflict-Driven Clause Learning
Results: 7

#	Item
1	March 19, 2016 CDCL ready for hydropower works Nearly 37 years after the first hydropower project was constructed in Chukha, the Construction Development Corporation Ltd (CDCL) is preparing to take up tunnelling works in Add to Reading List Source URL: www.drukgreen.bt Language: English - Date: 2016-07-21 23:54:44 Bhutan Conflict-Driven Clause Learning Hydropower Asia Hydroelectricity Geography Natural environment
2	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
3	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
4	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
5	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
6	On the Virtue of Succinct Proofs: Amplifying Communication Complexity Hardness to Time-Space Trade-offs in Proof Complexity [Extended Abstract] Trinh Huynh Add to Reading List Source URL: www.complexity.ethz.ch Language: English - Date: 2012-03-28 07:53:42 Theoretical computer science Computational complexity theory Mathematics Automated theorem proving Logic in computer science Rules of inference Resolution Proof complexity Conflict-Driven Clause Learning Boolean algebra Exponential time hypothesis PP
7	Trimming while Checking Clausal Proofs Marijn J.H. Heule, Warren A. Hunt, Jr., and Nathan Wetzler The University of Texas at Austin Abstract—Conflict-driven clause learning (CDCL) satisfiability solvers can emit more t Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:58:01 Unsatisfiable core Conjunctive normal form Resolution Five lemma Theorem Logic programming Unit propagation Automated proof checking Boolean satisfiability problem Logic Mathematics Automated theorem proving

UPDATE