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 ]

Sibylle Möhle and Christoph Beierle. Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study. In: Proceedings of the 4th International Conference on Man-Machine Interactions (ICMMI 2015). Advances in Intelligent Systems and Computing, vol. 391, pages 449–459. Springer 2015.

Sibylle Möhle, Michael Bründl and Christoph Beierle. Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest. In: Proceedings of Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2014). Lecture Notes in Computer Science, vol. 8722, pages 80–91. Springer 2014. Nominated for AIMSA'14 Best Paper Award.

[ paper | slides ]

Sibylle Möhle and Lukas Stoffel. Web-Based Tool to Support Local Avalanche Services With Hazard Evaluation and Documentation. In: Proceedings of the International Snow Science Workshop (ISSW09) 2009.

 [ paper ]