Sibylle Möhle

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Quantified Boolean Formulas

Top Venues

Publications

Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach
First-Order Automatic Literal Model Generation. IJCAR (1) (2024)
Andreas Plank, Sibylle Möhle, Martina Seidl
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). CP (2023)
Sibylle Möhle
An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL. FroCoS (2023)
Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM (2022)
Sibylle Möhle, Roberto Sebastiani, Armin Biere
On Enumerating Short Projected Models. CoRR (2021)
Sibylle Möhle, Roberto Sebastiani, Armin Biere
Four Flavors of Entailment. SAT (2020)
Sibylle Möhle, Armin Biere
Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. GCAI (2019)
Sibylle Möhle, Armin Biere
Backing Backtracking. SAT (2019)
Sibylle Möhle, Armin Biere
Dualizing Projected Model Counting. ICTAI (2018)
Steffen Hölldobler, Sibylle Möhle, Anna Tigunova
Lessons Learned from AlphaGo. YSIP (2017)
Armin Biere, Steffen Hölldobler, Sibylle Möhle
An Abstract Dual Propositional Model Counter. YSIP (2017)
Sibylle Möhle, Christoph Beierle
Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study. ICMMI (2015)
Sibylle Möhle, Michael Bründl, Christoph Beierle
Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest. AIMSA (2014)