Sibylle Möhle, Armin Biere. Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. In Diego Calvanese, Luca Iocchi, editors, GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. Volume 65 of EPiC Series in Computing, pages 113-126, EasyChair, 2019. [doi]
Abstract is missing.