Approximate counting by sampling the backtrack-free search space

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 198-203

  Gogate, Vibhav ^a   Dechter, Rina ^a  

^a Ringgold Standard Institution Informatics   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACKTRACK-FREE SEARCH SPACE; BOOLEAN SATISFIABILITY PROBLEM; LOWER BOUND MEASURE; SAMPLESEARCH;

APPROXIMATION ALGORITHMS; COMPUTER SIMULATION; ESTIMATION; ONLINE SEARCHING; SEARCH ENGINES;

ARTIFICIAL INTELLIGENCE;

EID: 36348989663     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Bayardo, R., and Pehoushek, J. 2000. Counting models using connected components. In AAAI, 157-162. AAAI Press / The MIT Press.
2. Cheng, J., and Druzdzel, M. J. 2000. Ais-bn: An adaptive importance sampling algorithm for evidential reasoning in large bayesian networks. J. Artif. Intell Res. (JAIR) 13:155-188.
3. Davis, M.; Logemann, G.; and Loveland, D. 1962. A machine program for theorem proving. Communications of the ACM 5:394-397.
4. Dechter, R., and Rish, I. 2003. Mini-buckets: A general scheme for bounded inference. J. ACM 50(2): 107-153.
5. Geweke, J. 1989. Bayesian inference in econometric models using monte carlo integration. Econometrica 57(6): 1317-39.
6. Gogate, V., and Dechter, R. 2005. Approximate inference algorithms for hybrid bayesian networks with discrete constraints. UAI-2005.
7. Gogate, V., and Dechter, R. 2006. A new algorithm for sampling csp solutions uniformly at random. CP.
8. Gomes, C.; Hoffmann, J.; Sabharwal, A.; and Selman, B. 2007. From sampling to model counting. IJCAI.
9. Rubinstein, R. Y. 1981. Simulation and the Monte Carlo Method. New York, NY, USA: John Wiley & Sons, Inc.
10. Sorensson, N., and Een, N. 2005. Minisat vl.13-a sat solver with conflict-clause minimization. In SAT 2005.
11. Wei, W., and Selman, B. 2005. A new approach to model counting. In SAT.
12. Yuan, C., and Druzdzel, M. J. 2006. Importance sampling algorithms for Bayesian networks: Principles and performance. Mathematical and Computer Modelling.