Andreas Plank and Sibylle Möhle and Martina Seidl. Enumerative Level-2 Solution Counting for Quantified Boolean Formulas. In: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). LIPIcs, vol. 280, pages 49:1–49:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

[ paper ]

Sibylle Möhle. An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. In: Frontiers of Combining Systems (FroCoS 2023). Lecture Notes in Computer Science, vol. 14279, pages 195–213. Springer 2023.

[ paper | slides ]

Ankit Shukla and Sibylle Möhle and Manuel Kauers and Martina Seidl. OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. In: Intelligent Computer Mathematics (CICM 2022). Lecture Notes in Computer Science, vol. 13467, pages 272–284. Springer 2022.

[ paper ]

Sibylle Möhle and Cunjing Ge and Armin Biere. Program Analysis Benchmarks Submitted to the Model Counting Competition MC 2020. Technical Report 21/1, January 2021, FMV Reports Series.

[ report ]

Sibylle Möhle and Roberto Sebastiani and Armin Biere. Four Flavors of Entailment. In: Theory and Applications of Satisfiability Testing (SAT 2020). Lecture Notes in Computer Science, vol. 12178, pages 62–71. Springer 2020.

[ paper | slides | video ]

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.

[ paper | slides | poster | award 1 2 3 ]

Sibylle Möhle and Armin Biere. Backing Backtracking. In: Theory and Applications of Satisfiability Testing (SAT). Lecture Notes in Computer Science, vol. 11628, pages 250–266. Springer 2019.

[ paper | slides ]

Sibylle Möhle and Armin Biere. Dualizing Projected Model Counting. In: Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018). Pages 702–709. IEEE Computer Society 2018.

[ paper | slides ]

Armin Biere, Steffen Hölldobler and Sibylle Möhle. An Abstract Dual Propositional Model Counter. In: Second Young Scientist’s International Workshop on Trends in Information Processing (YSIP2). CEUR Workshop Proceedings, vol. 1837, pp. 17–26. CEUR-WS.org 2017.

[ paper ]

Steffen Hölldobler, Sibylle Möhle and Anna Tigunova. Lessons Learned from AlphaGo. In: Proceedings of the Second Young Scientist’s International Workshop on Trends in Information Processing (YSIP2). CEUR Workshop Proceedings, vol. 1837, pp. 92–101. CEUR-WS.org 2017.

[ paper ]

Norbert Manthey and Sibylle Möhle. Better Evaluations by Analyzing Benchmark Structure. In: POS@SAT 2016.

[  paper | slides ]