Devriendt, Jo

2 publications

AAAI 2021 Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey

IJCAI 2016 Relevance for SAT(ID) Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker