Publications

2021

FOLASP: FO(.) as Input Language for Answer Set Solvers
Kylian Van Dessel, Jo Devriendt, Joost Vennekens
37th International Conference on Logic Programming (ICLP)

Cutting to the Core of Pseudo-­Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
Jo Devriendt, Stephan Gocht, Emir Demirović, Jakob Nordström, Peter Stuckey
35th AAAI conference on Artificial Intelligence (AAAI)

2020

Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search
Jo Devriendt, Ambros Gleixner, Jakob Nordström
17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR)


Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström
Formal Methods in Computer-Aided Design 2020 (fmcad)


Watched Propagation for 0-1 Integer Linear Constraints
Jo Devriendt
26th International Conference on Principles and Practice of Constraint Programming (CP)


Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
Buser Say, Jo Devriendt, Jakob Nordström, Peter Stuckey
26th International Conference on Principles and Practice of Constraint Programming (CP)

2019

Legislation in the knowledge base paradigm: interactive decision enactment for registration duties
Marjolein Deryck, Jo Devriendt, Simon Marynissen, Joost Vennekens
Proceedings of the 13th IEEE Conference on Semantic Computing

Declarative Local Search for Predicate Logic
Tu San Pham, Jo Devriendt, Patrick De Causmaecker
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)

2018

Modelling local search in a Knowledge Base System
Tu San Pham, Jo Devriendt, Patrick De Causmaecker
Optimization and Decision Science (ODES)

2017

Symmetric explanation learning: Effective dynamic symmetry handling for SAT
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
Twentieth International Conference on Theory and Applications of Satisfiability Testing (SAT)

2016

BreakID: Static symmetry breaking for ASP (system description)
Jo Devriendt, Bart Bogaerts
Ninth workshop on answer set programming and other computing paradigms

On local domain symmetry for model expansion
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Theory and Practice of Logic Programming

Implementing a relevance tracker module
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Ninth workshop on answer set programming and other computing paradigms

Relevance for SAT(ID)
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI)

Improved static symmetry breaking for SAT
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Nineteenth International Conference on Theory and Applications of Satisfiability Testing (SAT)

2015

Transforming constraint programs to input for local search
Jo Devriendt, Patrick De Causmaecker, Marc Denecker
Fourteenth International Workshop on Constraint Modelling and Reformulation (ModRef)


Experimental evaluation of a state-of-the-art grounder
Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens
16th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

2014

BreakIDGlucose: On the importance of row symmetry in SAT
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
Workshop on the Cross-Fertilization Between CSP and SAT

2013

Model expansion in the presence of function symbols using constraint programming
Broes De Cat, Bart Bogaerts, Marc Denecker, Jo Devriendt
IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI)

The effects of buying a new car: An extension of the IDP Knowledge Base System
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
Theory and Practice of Logic Programming (technical communication)

2012

Symmetry propagation: Improved dynamic symmetry breaking in SAT
Jo Devriendt, Bart Bogaerts, Christopher Mears, Broes De Cat, Marc Denecker
24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)