Sibylle Möhle and Armin Biere. Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. In: 5th Global Conference on Artificial Intelligence (GCAI 2019). EPiC Series in Computing (2019), 14 pages. Best Poster & Interaction Award of BRAIN 2019.
