Jo Devriendt
发表
Gerda Janssens,
Marc Denecker,
Bart Bogaerts,
2016,
IJCAI.
Maurice Bruynooghe,
Bart Bogaerts,
Jo Devriendt,
2014
.
Patrick De Causmaecker,
Jo Devriendt,
Tu-San Pham,
2018
.
Jo Devriendt,
2020,
CP.
Gerda Janssens,
Marc Denecker,
Bart Bogaerts,
2016,
IJCAI.
Bart Bogaerts,
Jo Devriendt,
B. Bogaerts,
2016,
ArXiv.
Joost Vennekens,
Marc Denecker,
Bart Bogaerts,
2013,
Theory Pract. Log. Program..
Maurice Bruynooghe,
Bart Bogaerts,
Jo Devriendt,
2017,
SAT.
Maurice Bruynooghe,
Marc Denecker,
Jo Devriendt,
2016
.
Gerda Janssens,
Joachim Jansen,
Jo Devriendt,
2014,
PPDP '14.
Joost Vennekens,
Jo Devriendt,
Marjolein Deryck,
2019,
2019 IEEE 13th International Conference on Semantic Computing (ICSC).
Patrick De Causmaecker,
Jo Devriendt,
Tu-San Pham,
2019,
LPNMR.
Maurice Bruynooghe,
Marc Denecker,
Bart Bogaerts,
2016,
Theory and Practice of Logic Programming.
Christopher Mears,
Marc Denecker,
Bart Bogaerts,
2012,
2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
Gerda Janssens,
Marc Denecker,
Bart Bogaerts,
2016,
ArXiv.
Maurice Bruynooghe,
Marc Denecker,
Bart Bogaerts,
2016,
SAT.
Maurice Bruynooghe,
Patrick De Causmaecker,
Jo Devriendt,
2016,
ArXiv.
Paul Beame,
Jan Elffers,
Jo Devriendt,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Marc Denecker,
Bart Bogaerts,
Broes De Cat,
2013,
2013 IEEE 25th International Conference on Tools with Artificial Intelligence.
Peter J. Stuckey,
Jakob Nordström,
Jo Devriendt,
2020,
CP.
Maurice Bruynooghe,
Marc Denecker,
Bart Bogaerts,
2016,
Lecture Notes in Computer Science.
Joost Vennekens,
Jo Devriendt,
Kylian Van Dessel,
2021,
ArXiv.
Jo Devriendt,
Jakob Nordström,
Ambros Gleixner,
2021,
Constraints An Int. J..
Peter J. Stuckey,
Stephan Gocht,
Jo Devriendt,
2021,
AAAI.
Scott Sanner,
Peter J. Stuckey,
Jo Devriendt,
2021,
ArXiv.
Joost Vennekens,
Jo Devriendt,
Kylian Van Dessel,
2021,
Theory Pract. Log. Program..
Jo Devriendt,
2017
.
Patrick De Causmaecker,
Marc Denecker,
Jo Devriendt,
2015
.