New branch-and-search algorithms solve weighted #2-SAT in O*(1.1082^m) time and weighted #3-SAT in O*(1.4423^m) time, improving known clause-count bounds.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DS 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
New Algorithms for #2-SAT and #3-SAT
New branch-and-search algorithms solve weighted #2-SAT in O*(1.1082^m) time and weighted #3-SAT in O*(1.4423^m) time, improving known clause-count bounds.