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.
3-coloring in time o(1.3289 n)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.DS 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 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.