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

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

Documents Related by Co-Citation

161 A Knowledge Compilation Map – Adnan Darwiche, Pierre Marquis - 2002
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
1311 Symbolic Model Checking – K McMillan - 1993
7195 Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference – J Pearl - 1988
50 Algorithms and Complexity Results for #SAT and Bayesian Inference – Fahiem Bacchus , Shannon Dalmao, Toniann Pitassi - 2004
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
143 Recursive conditioning – A Darwiche - 2001
272 Bucket Elimination: A Unifying Framework for Reasoning – Rina Dechter
254 Tree clustering for constraint networks – Rina Dechter, Judea Pearl - 1989