Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Submitted to CADE'23
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
Best Paper Award at SAT 2022
Josefran de Oliveira Bastos, Hanno Lefmann, Andy Oertel, Carlos Hoppen, Dionatan Ricardo Schmidt
LAGOS (Procedia Computer Science), 2021