Publications

2025

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis
Orestis Lomis, Jo Devriendt, Hendrik Bierlee, Tias Guns
28th International Conference on Theory and Applications of Satisfiability Testing (SAT) preprint

2024

ManyWorlds: Combinatorial Programming with Functions
Jo Devriendt
23rd Workshop on Constraint Modelling and Reformulation (ModRef)
preprint
Mutational Fuzz Testing for Constraint Modeling Systems
Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, Tias Guns
30th International Conference on Principles and Practice of Constraint Programming (CP)
preprint

2023

Breaking Constraint Modelling Languages with Metamorphic Testing (extended abstract)
Ignace Bleukx, Wout Vanroose, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, Tias Guns
22nd Workshop on Constraint Modelling and Reformulation (ModRef)
preprint

Simplifying Stepwise Explanation Sequences
Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
29th International Conference on Principles and Practice of Constraint Programming (CP)
preprint

CosySEL: Improving SAT Solving Using Local Symmetries
Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt
24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)

2021

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

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)
preprint slides video presentation

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)
preprint slides video presentation

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)
preprint video presentation

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

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)
preprint

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
preprint

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

2018

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

The RBAC challenge in the KB-paradigm
Marc Denecker, Jo Devriendt
Logic and Practice of Programming (LPOP)
preprint

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)
preprint

2016

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

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

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
preprint

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

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)
preprint

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)
preprint

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
preprint

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
preprint

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)
preprint

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)
preprint

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)
preprint