Reconstructive algorithm based on extension rule for solving \#SAT incrementally

DOI10.13328/J.CNKI.JOS.004827zbMATH Open1349.68216MaRDI QIDQ2993243FDOQ2993243

Authors: Fengyu Jia, Dantong Ouyang, Siguang Liu, Liming Zhang 

Publication date: 10 August 2016

Recommendations

• \#SAT solving algorithms based on extension rule using heuristic strategies
• Solving \#SAT using extension rules
• A bottom-up algorithm for solving \#2SAT
• An enumerative algorithm for \#2SAT
• Algorithms for Propositional Model Counting

zbMATH Keywords

model countingextension ruleincremental methodcomplementary tablemaximum term intersection

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited In (2)

• Solving \#SAT using extension rules
• \#SAT solving algorithms based on extension rule using heuristic strategies

This page was built for publication: Reconstructive algorithm based on extension rule for solving \#SAT incrementally

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