Joachim Jansen

KU Leuven , Leuven , Belgium,

1 paper in the IJCAI proceedings

IJCAI 2016

Relevance for SAT(ID)

with Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings