Leveraging belief propagation, backtrack search, and statistics for model counting

DOI10.1007/S10479-009-0680-7zbMATH Open1225.90108OpenAlexW2066514569MaRDI QIDQ545553FDOQ545553

Authors: Lukas Kroc, Ashish Sabharwal, Bart Selman 

Publication date: 22 June 2011

Published in: Annals of Operations Research (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1370

Recommendations

• Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
• Fast and flexible probabilistic model counting
• Exploiting structure in weighted model counting approaches to probabilistic inference
• A new probabilistic algorithm for approximate model counting
• On probabilistic inference by weighted model counting
• Algorithms for Propositional Model Counting
• Algorithms for propositional model counting
• Theory and Applications of Satisfiability Testing
• Model counting: a new stategy for obtaining good bounds

zbMATH Keywords

lower boundsSATmodel countingupper boundsBoolean satisfiabilitynumber of solutionsbpcountminicount

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of computing the permanent
• CCCP Algorithms to Minimize the Bethe and Kikuchi Free Energies: Convergent Alternatives to Belief Propagation
• Constructing Free-Energy Approximations and Generalized Belief Propagation Algorithms
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• Model counting: a new stategy for obtaining good bounds
• Solving \#SAT and Bayesian inference with backtracking search
• Theory and Applications of Satisfiability Testing
• Stochastic Boolean satisfiability
• Title not available (Why is that?)
• Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
• Theory and Applications of Satisfiability Testing
• A new look at survey propagation and its generalizations
• Characterizing Propagation Methods for Boolean Satisfiability

Cited In (8)

• Model counting with error-correcting codes
• Model counting: a new stategy for obtaining good bounds
• Approximate model counting via extension rule
• Counting Models in Integer Domains
• Two approximate algorithms for model counting
• Solving \#SAT and Bayesian inference with backtracking search
• Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
• Projected model counting: beyond independent support

Uses Software

• MiniSat
• Walksat
• DIMACS
• RSat

This page was built for publication: Leveraging belief propagation, backtrack search, and statistics for model counting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q545553)