Sibylle Möhle

16 papers A 3B 1C 1Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
On enumerating short projected models.
Discret. Appl. Math.
Sibylle Möhle, Roberto Sebastiani, Armin Biere
2025 J jnl
Verification of E-Voting Algorithms in Dafny.
CoRR
Robert Büttner, Fabian Franz Dießl, Patrick Janoschek, Ivana Kostadinovic, Henrik Oback, Kilian Voß, Franziska Alber, Roland Herrmann, Sibylle Möhle, Philipp Rümmer
2024 J jnl
Counting QBF solutions at level two.
Constraints An Int. J.
Andreas Plank, Sibylle Möhle, Martina Seidl
2024 — conf
First-Order Automatic Literal Model Generation.
IJCAR (1)
Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach
2023 — conf
An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL.
FroCoS
Sibylle Möhle
2023 A conf
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper).
CP
Andreas Plank, Sibylle Möhle, Martina Seidl
2022 C conf
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas.
CICM
Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl
2021 J jnl
On Enumerating Short Projected Models.
CoRR
Sibylle Möhle, Roberto Sebastiani, Armin Biere
2020 A conf
Four Flavors of Entailment.
SAT
Sibylle Möhle, Roberto Sebastiani, Armin Biere
2019 A conf
Backing Backtracking.
SAT
Sibylle Möhle, Armin Biere
2019 — conf
Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting.
GCAI
Sibylle Möhle, Armin Biere
2018 B conf
Dualizing Projected Model Counting.
ICTAI
Sibylle Möhle, Armin Biere
2017 — conf
An Abstract Dual Propositional Model Counter.
YSIP
Armin Biere, Steffen Hölldobler, Sibylle Möhle
2017 — conf
Lessons Learned from AlphaGo.
YSIP
Steffen Hölldobler, Sibylle Möhle, Anna Tigunova
2015 — conf
Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study.
ICMMI
Sibylle Möhle, Christoph Beierle
2014 Misc conf
Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest.
AIMSA
Sibylle Möhle, Michael Bründl, Christoph Beierle