[  20 | 19 | 18 | 17 | 16 | 15 ]

[ DBLP | Google Scholar | ORCID | Scopus ]

2020

Sibylle Möhle, Roberto Sebastiani, Armin Biere. Four Flavors of Entailment. In Proc. 23rd Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'20), Lecture Notes in Computer Science (LNCS) vol. 12178, pages 62-71, Springer 2020.
[ preprint | bibtex ]

2019

Best poster and interaction award
Sibylle Möhle, Armin Biere. Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. In Proc. 5th Intl. Global Conf. on Artificial Intelligence (GCAI'19), EPiC Series in Computing, 14 pages, EasyChair 2019, to appear.
[ preprint | award ]

Sibylle Möhle, Armin Biere. Backing Backtracking In Proc. 22nd Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'19), Lecture Notes in Computer Science (LNCS) vol. 11628, pages 250-166, Springer 2019.
[ preprint | bibtex | experiments ]

2018

Sibylle Möhle, Armin Biere. Dualizing Projected Model Counting. Proc. 30th Intl. Conf. on Tools with Artificial Intelligence (ICTAI'18), pages 702-709, IEEE Computer Society, 2018.
[ paper | dualiza ]

2017

Armin Biere, Steffen Hölldobler, Sibylle Möhle. An Abstract Dual Propositional Model Counter. In Proc. Young Scientist's Intl. Workshop on Trends in Information Processing (YSIP2'17), vol. 1837 CEUR Workshop Proceedings, pages 17-26, CEUR-WS.org 2017.
[ paper | bibtex ]

Steffen Hölldobler, Sibylle Möhle, Anna Tigunova. Lessons Learned from AlphaGo. In Proc. Young Scientist's Intl. Workshop on Trends in Information Processing (YSIP2'17), vol. 1837 CEUR Workshop Proceedings, pages 92-101, CEUR-WS.org 2017.
[ paper ]

2016

Norbert Manthey, Sibylle Möhle. Better Evaluations by Analyzing Benchmark Structure. POS@SAT 2016.
[ paper ]

2015

Sibylle Möhle, Christoph Beierle. Supporting the Forecast of Snow Avalanches in the Canton of Glarus in Eastern Switzerland: A Case Study. In Proc. Man-Machine Interactions 4 - 4th Intl. Conf. on Man-Machine Interactions (ICMMI'15), Advances in Intelligent Systems and Computing, vol. 391, pages 449-459, Springer 2015.