Sibylle Mhle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2014–2024
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IJCAR | First-Order Automatic Literal Model Generation. | Martin Bromberger, Florent Krasnopol, Sibylle Mhle, Christoph Weidenbach |
| 2023 | CP | Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). | Andreas Plank, Sibylle Mhle, Martina Seidl |
| 2020 | SAT | Four Flavors of Entailment. | Sibylle Mhle, Roberto Sebastiani, Armin Biere |
| 2019 | SAT | Backing Backtracking. | Sibylle Mhle, Armin Biere |
| 2018 | ICTAI | Dualizing Projected Model Counting. | Sibylle Mhle, Armin Biere |
| 2014 | AIMSA | Modeling a System for Decision Support in Snow Avalanche Warning Using Balanced Random Forest and Weighted Random Forest. | Sibylle Mhle, Michael Brndl, Christoph Beierle |