{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:54:20Z","timestamp":1762102460088},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>In propositional model counting, also named #SAT, the search space needs to be explored exhaustively, in contrast to SAT, where the task is to determine whether a propositional formula is satisfiable. While state-of-the-art SAT solvers are based on non- chronological backtracking, it has also been shown that backtracking chronologically does not significantly degrade solver performance. Hence investigating the combination of chronological backtracking with conflict-driven clause learning (CDCL) for #SAT seems evident. We present a calculus for #SAT combining chronological backtracking with CDCL and provide a formal proof of its correctness.<\/jats:p>","DOI":"10.29007\/vgg4","type":"proceedings-article","created":{"date-parts":[[2019,12,10]],"date-time":"2019-12-10T23:10:08Z","timestamp":1576019408000},"page":"113-98","source":"Crossref","is-referenced-by-count":2,"title":["Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting"],"prefix":"10.29007","volume":"65","author":[{"given":"Sibylle","family":"M\u00f6hle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2019,12,10]],"date-time":"2019-12-10T23:10:12Z","timestamp":1576019412000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/wBnB"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/vgg4","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}