Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest. - Sibylle Möhle; Michael Bründl; Christoph Beierle (AIMSA, 2014)

Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study. - Sibylle Möhle; Christoph Beierle (ICMMI, 2015)

An Abstract Dual Propositional Model Counter. - Armin Biere; Steffen Hölldobler; Sibylle Möhle (YSIP, 2017)

Lessons Learned from AlphaGo. - Steffen Hölldobler; Sibylle Möhle; Anna Tigunova (YSIP, 2017)

Dualizing Projected Model Counting. - Sibylle Möhle; Armin Biere (ICTAI, 2018)

Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. - Sibylle Möhle; Armin Biere (GCAI, 2019)

Backing Backtracking. - Sibylle Möhle; Armin Biere (SAT, 2019)

Four Flavors of Entailment. - Sibylle Möhle; Roberto Sebastiani; Armin Biere (SAT, 2020)

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. - Ankit Shukla 003; Sibylle Möhle; Manuel Kauers; Martina Seidl (CICM, 2022)

Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). - Andreas Plank; Sibylle Möhle; Martina Seidl (CP, 2023)

An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. - Sibylle Möhle (FroCoS, 2023)

First-Order Automatic Literal Model Generation. - Martin Bromberger; Florent Krasnopol; Sibylle Möhle; Christoph Weidenbach (IJCAR (1), 2024)

Counting QBF solutions at level two. - Andreas Plank; Sibylle Möhle; Martina Seidl (Constraints An Int. J., 2024)

On enumerating short projected models. - Sibylle Möhle; Roberto Sebastiani; Armin Biere (Discret. Appl. Math., 2025)