Follow
Sibylle Möhle
Title
Cited by
Cited by
Year
Backing backtracking
S Möhle, A Biere
International Conference on Theory and Applications of Satisfiability …, 2019
222019
Dualizing projected model counting
S Möhle, A Biere
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
112018
Lessons Learned from AlphaGo.
S Hölldobler, S Möhle, A Tigunova
YSIP, 92-101, 2017
82017
Modeling a system for decision support in snow avalanche warning using balanced random forest and weighted random forest
S Möhle, M Bründl, C Beierle
International Conference on Artificial Intelligence: Methodology, Systems …, 2014
82014
Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
S Möhle, A Biere
Global Conference on Artificial Intelligence (GCAI'19), 14 pages, 2019
62019
An Abstract Dual Propositional Model Counter.
A Biere, S Hölldobler, S Möhle
YSIP, 17-26, 2017
52017
Four flavors of entailment
S Möhle, R Sebastiani, A Biere
International Conference on Theory and Applications of Satisfiability …, 2020
32020
Better Evaluations by Analyzing Benchmark Structure
S Möhle, N Manthey
Pragmatics of SAT, 2016
22016
On Enumerating Short Projected Models
S Möhle, R Sebastiani, A Biere
arXiv preprint arXiv:2110.12924, 2021
12021
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas
A Shukla, S Möhle, M Kauers, M Seidl
International Conference on Intelligent Computer Mathematics, 272-284, 2022
2022
Program Analysis Benchmarks Submitted to the Model Counting Competition MC 2020
S Möhle, C Ge, A Biere
2021
CEUR WORKSHOP PROCEEDINGS
M Schaerf, A Biere, S Hölldobler, S Möhle, A Bragin, A Dubanov, ...
complexity 55, 64, 2017
2017
Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study
S Möhle, C Beierle
Man–Machine Interactions 4, 449-459, 2016
2016
Web-Based Tool to Support Local Avalanche Services With Hazard Evaluation and Documentation
S Möhle, L Stoffel
International Snow Science Workshop ISSW09, 2009
2009
Using Videos in the Education of Trauma Surgeons and Operating Room Personnel
S Möhle, F Möhle, T Möhle
4th ICNEE International Conference on New Educational Environment, 2002
2002
Four Flavors of Entailment for Projected Model Counting
S Möhle, R Sebastiani, A Biere
The system can't perform the operation now. Try again later.
Articles 1–16