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 ]