Publications Sibylle Möhle


Best poster and interaction award
Sibylle Möhle, Armin Biere. Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. In Proc. 5th Intl. Global Conf. on Artificial Intelligence (GCAI'19), EPiC Series in Computing, 14 pages, EasyChair 2019, to appear.
[ preprint | award ]

Sibylle Möhle, Armin Biere. Backing Backtracking In Proc. 22nd Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'19), Lecture Notes in Computer Science (LNCS) vol. 11628, pages 250-166, Springer 2019.
[ preprint | bibtex | experiments ]


Sibylle Möhle, Armin Biere. Dualizing Projected Model Counting. Proc. 30th Intl. Conf. on Tools with Artificial Intelligence (ICTAI'18), pages 702-709, IEEE Computer Society, 2018.
[ paper | dualiza ]


Armin Biere, Steffen Hölldobler, Sibylle Möhle. An Abstract Dual Propositional Model Counter. In Proc. Young Scientist's Intl. Workshop on Trends in Information Processing (YSIP2'17), vol. 1837 CEUR Workshop Proceedings, pages 17-26, 2017.
[ paper | bibtex ]