Solving \#SAT using extension rules

DOI10.3724/SP.J.1001.2009.03320zbMATH Open1212.68313MaRDI QIDQ3054232FDOQ3054232

Authors Minghao Yin, Hai Lin, Jigui Sun 

Publication date 5 November 2010

Published in Journal of Software (Search for Journal in Brave)

zbMATH Keywords

knowledge compilationextension ruleweighted model counting

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• \#SAT solving algorithms based on extension rule using heuristic strategies
• Reconstructive algorithm based on extension rule for solving \#SAT incrementally
• Two approximate algorithms for model counting
• Approximate model counting via extension rule
• Algorithms for Propositional Model Counting

Cited in

(7)

• Reconstructive algorithm based on extension rule for solving \#SAT incrementally
• Local search algorithm for solving \#SMT problem
• Inferring Congruence Equations Using SAT
• Approximate model counting via extension rule
• Two approximate algorithms for model counting
• SAT problems with chains of dependent variables
• \#SAT solving algorithms based on extension rule using heuristic strategies

This page was built for publication: Solving \#SAT using extension rules

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