Sibylle Möhle

According to our database, Sibylle Möhle authored at least 14 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Counting QBF solutions at level two.

Andreas Plank, Sibylle Möhle, Martina Seidl

Constraints An Int. J., June, 2024

First-Order Automatic Literal Model Generation.

Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL.

Sibylle Möhle

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper).

Andreas Plank, Sibylle Möhle, Martina Seidl

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas.

Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

On Enumerating Short Projected Models.

Sibylle Möhle, Roberto Sebastiani, Armin Biere

CoRR, 2021

2020

Four Flavors of Entailment.

Sibylle Möhle, Roberto Sebastiani, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

Backing Backtracking.

Sibylle Möhle, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting.

Sibylle Möhle, Armin Biere

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

2018

Dualizing Projected Model Counting.

Sibylle Möhle, Armin Biere

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017

Lessons Learned from AlphaGo.

Steffen Hölldobler, Sibylle Möhle, Anna Tigunova

Proceedings of the YSIP2, 2017

An Abstract Dual Propositional Model Counter.

Armin Biere, Steffen Hölldobler, Sibylle Möhle

Proceedings of the YSIP2, 2017

2015

Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study.

Sibylle Möhle, Christoph Beierle

Proceedings of the Man-Machine Interactions 4, 2015

2014

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

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014