Counting Models using Connected Components (2000)

by Roberto J. Bayardo , Jr. , J. D. Pehoushek
Venue:In AAAI
Citations:47 - 0 self

Documents Related by Co-Citation

1119 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
143 Recursive conditioning – A Darwiche - 2000
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
64 Combining component caching and clause learning for effective model counting – Tian Sang, Fahiem Bacchus, Paul Beame, Henry Kautz, Toniann Pitassi - 2004
534 A Machine Program for Theorem-Proving – M Davis, G Logemann, D Loveland - 1962
278 Bucket Elimination: A Unifying Framework for Reasoning – Rina Dechter
54 Compiling relational bayesian networks for exact inference – Mark Chavira, Adnan Darwiche, Manfred Jaeger - 2004
7069 Probabilistic Reasoning in Intelligent Systems – J Pearl - 1988
27 Faster SAT and Smaller BDDs via Common Function Structure – Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah - 2001
37 The Good Old Davis-Putnam Procedure Helps Counting Models – Elazar Birnbaum, Eliezer L. Lozinskii - 1999
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
52 A Compiler for Deterministic, Decomposable Negation Normal Form – Adnan Darwiche - 2002
50 On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision – Adnan Darwiche - 2000
296 Context-Specific Independence in Bayesian Networks – Craig Boutilier, Nir Friedman, Moises Goldszmidt, Daphne Koller - 1996
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
29 Heuristics for fast exact model counting – Tian Sang, Paul Beame, Henry Kautz - 2005
425 The Complexity of Enumeration and Reliability Problems – L G Valiant - 1979
60 Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space – Rina Dechter, Robert Mateescu - 2004
26 A structure-based variable ordering heuristic for SAT – Jinbo Huang, Adnan Darwiche - 2003