{"type":"ScholarlyArticle","title":"Complementary Branching for #SAT: Bounded-Degree Bounds and Faster #3-SAT","authors":[{"name":"Konstantin Kutzkov","slug":"konstantin-kutzkov","given":"Konstantin","family":"Kutzkov","affiliation":""}],"abstract":"We present complementary branching, a new branching approach for model counting based on the complement counting paradigm. Instead of branching on individual variables, complementary branching decomposes the counting problem for arbitrary CNF formulas into several subformulas, which naturally augments the classic DPLL branching. We show two novel results in which the main tool is complementary branching. First, we design new #SAT algorithms for sparse CNF formulas running in time O*(2^(alpha n)), for some constant alpha < 1. As a second application, we improve the best known deterministic upper bound for #3-SAT to O*(1.637^n) by using a version of clause learning based on complementary branching. These results demonstrate that complementary branching is a powerful tool for designing faster exact algorithms for propositional model counting.","doi":"10.24963/ijcai.2026/254","url":"https://ijcai.org/proceedings/2026/254","pdf":"https://ijcai.org/proceedings/2026/0254.pdf","markdown":"https://ijcai.org/proceedings/2026/254.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/254","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Constraint Satisfaction and Optimization","track":"Main Track","number":254,"pages":{"first":2282,"last":2290},"keywords":["Constraint Satisfaction and Optimization: Solvers and tools","Constraint Satisfaction and Optimization: Satisfiabilty"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}