DPLL with a trace: From SAT to knowledge compilation (2005)

by Jinbo Huang , Adnan Darwiche
Venue: IJCAI-05
Citations:21 - 2 self

Active Bibliography

3 The Language of Search – Jinbo Huang, Adnan Darwiche
28 A Perspective on Knowledge Compilation – Adnan Darwiche, Pierre Marquis - 2001
162 A Knowledge Compilation Map – Adnan Darwiche, Pierre Marquis - 2002
52 A Compiler for Deterministic, Decomposable Negation Normal Form – Adnan Darwiche - 2002
62 New Advances in Compiling CNF into Decomposable Negation Normal Form – Adnan Darwiche - 2004
11 AND/OR multi-valued decision diagrams (AOMDDs) for weighted graphical models – Robert Mateescu, Rina Dechter, Radu Marinescu - 2007
Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases ∗ – Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu
16 Propositional DAGs: a new graph-based language for representing Boolean functions – Michael Wachter, Rolf Haenni - 2006
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Knowledge Compilation for Model Counting: Affine Decision Trees ∗ – unknown authors
6 Model Counting – Carla P. Gomes, Ashish Sabharwal, Bart Selman - 2008
22 On probabilistic inference by weighted model counting – Mark Chavira, Adnan Darwiche
2 Mapping Conformant Planning into SAT through Compilation and Projection – Héctor Palacios, Héctor Geffner
8 Compilation of query-rewriting problems into tractable fragments of propositional logic – Yolifé Arvelo, Blai Bonet, María Esther Vidal
16 Pruning conformant plans by counting models on compiled d-DNNF representations – Héctor Palacios, Adnan Darwiche, Blai Bonet, Héctor Geffner - 2005
5 Testing Equivalence Probabilistically – Adnan Darwiche, Jinbo Huang - 2002
3 On compiling system models for faster and more scalable diagnosis – Jinbo Huang, Adnan Darwiche - 2005
15 Using DPLL for efficient OBDD construction – Jinbo Huang, Adnan Darwiche - 2004