Jansen, Joachim

1 publications

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