| Backing backtracking S Möhle, A Biere Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 30 | 2019 |
| Lessons Learned from AlphaGo. S Hölldobler, S Möhle, A Tigunova YSIP, 92-101, 2017 | 15 | 2017 |
| Dualizing projected model counting S Möhle, A Biere 2018 IEEE 30th International Conference on Tools with Artificial …, 2018 | 13 | 2018 |
| Four flavors of entailment S Möhle, R Sebastiani, A Biere International Conference on Theory and Applications of Satisfiability …, 2020 | 10 | 2020 |
| 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 Artificial Intelligence: Methodology, Systems, and Applications: 16th …, 2014 | 10 | 2014 |
| 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 | 9 | 2019 |
| On enumerating short projected models S Möhle, R Sebastiani, A Biere arXiv preprint arXiv:2110.12924, 2021 | 6 | 2021 |
| An Abstract Dual Propositional Model Counter. A Biere, S Hölldobler, S Möhle YSIP, 17-26, 2017 | 5 | 2017 |
| 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 | 3 | 2022 |
| Better Evaluations by Analyzing Benchmark Structure S Möhle, N Manthey Pragmatics of SAT, 2016 | 2 | 2016 |
| Better evaluations by analyzing benchmark structure N Manthey, S Möhle Proc. PoS, 2016 | 1 | 2016 |
| An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL S Möhle International Symposium on Frontiers of Combining Systems, 195-213, 2023 | | 2023 |
| Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper) A Plank, S Möhle, M Seidl 29th International Conference on Principles and Practice of Constraint …, 2023 | | 2023 |
| Program Analysis Benchmarks Submitted to the Model Counting Competition MC 2020 S Möhle, C Ge, A Biere | | 2021 |
| Four Flavors of Entailment for Projected Model Counting S Möhle, R Sebastiani, A Biere Int. Workshop on Model Counting, 2020 | | 2020 |
| 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: 4th International Conference on Man–Machine …, 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 |
Armin BiereProfessor of Computer Science, University of FreiburgBestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
