![JKU](https://fmv.jku.at/jkulogo.png)
TNF
/ INF
team
contact
software
publications
teaching
jobs
![GI-Dissertation Award 2020](https://fmv.jku.at/gi-dissertationaward-2020-icon.png)
![FMCAD'20 Student Forum Best Student Contribution](https://fmv.jku.at/fmcad20-phd-forum-best-contribution-icon.jpg)
![SAT'20 Best Presentation Award](https://fmv.jku.at/best-presentation-award-SAT20-icon.jpg)
![GCAI'19 Post and Interaction Award](https://fmv.jku.at/gcai19certificate-icon.jpg)
![IJCAI-JAIR 2019 Award](https://fmv.jku.at/ijcai-jair-2019-award-icon.jpg)
![SAT'19 Best Student Paper](https://fmv.jku.at/sat19-best-student-paper-award-icon.jpg)
![CAV'18 Award](https://fmv.jku.at/bmc/cav18award-icon.png)
![HVC'17 Best Paper](https://fmv.jku.at/hvc17-best-paper-award-icon.jpg)
![ETAPS'17 Test of Time Award](https://fmv.jku.at/etaps2017totaward.jpg)
![HVC'15 Award](https://fmv.jku.at/hvc15awardicon.jpg)
![FMCAD'17 Best Paper](https://fmv.jku.at/fmcad17-best-paper-award-icon.jpg)
![CADE'17 Best Paper](https://fmv.jku.at/cade17-best-paper-award-icon.jpg)
![BMC](https://fmv.jku.at/award-most-influential-paper-in-the-first-20-years-of-tacas-small.jpg)
![Handbook of Satisfiability](https://fmv.jku.at/hbsat.png)
![UML@Classroom](https://fmv.jku.at/uml-en.png)
![UML@Classroom](https://fmv.jku.at/uml-de.png)
![www.digitaltechnik.org](https://fmv.jku.at/dtbook.png)
|
GCAI'18 / BRAIN'19 Best Poster and Interaction Award
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 ]
![gcai19award2](https://fmv.jku.at/gcai19/gcai19award2.jpg)
![gcai19certificate](https://fmv.jku.at/gcai19/gcai19certificate.jpg)
|