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)
The RBAC challenge in the KB-paradigm
Marc Denecker, Jo Devriendt
Logic and Practice of Programming (LPOP)
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)