Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. - Jo Devriendt; Bart Bogaerts 001; Broes De Cat; Marc Denecker; Christopher Mears (ICTAI, 2012)

Model Expansion in the Presence of Function Symbols Using Constraint Programming. - Broes De Cat; Bart Bogaerts 001; Jo Devriendt; Marc Denecker (ICTAI, 2013)

The effects of buying a new car: an extension of the IDP Knowledge Base System. - Pieter Van Hertum; Joost Vennekens; Bart Bogaerts 001; Jo Devriendt; Marc Denecker (Theory Pract. Log. Program., 2013)

Experimental Evaluation of a State-Of-The-Art Grounder. - Joachim Jansen; Ingmar Dasseville; Jo Devriendt; Gerda Janssens (PPDP, 2014)

Relevance for SAT(ID). - Joachim Jansen; Bart Bogaerts 001; Jo Devriendt; Gerda Janssens; Marc Denecker (IJCAI, 2016)

Improved Static Symmetry Breaking for SAT. - Jo Devriendt; Bart Bogaerts 001; Maurice Bruynooghe; Marc Denecker (SAT, 2016)

BreakID: Static Symmetry Breaking for ASP (System Description). - Jo Devriendt; Bart Bogaerts 001 (CoRR, 2016)

Implementing a Relevance Tracker Module. - Joachim Jansen; Jo Devriendt; Bart Bogaerts 001; Gerda Janssens; Marc Denecker (CoRR, 2016)

A MIP Backend for the IDP System. - San Tu Pham; Jo Devriendt; Maurice Bruynooghe; Patrick De Causmaecker (CoRR, 2016)

On local domain symmetry for model expansion. - Jo Devriendt; Bart Bogaerts 001; Maurice Bruynooghe; Marc Denecker (Theory Pract. Log. Program., 2016)

Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. - Jo Devriendt; Bart Bogaerts 001; Maurice Bruynooghe (SAT, 2017)

Declarative Local Search for Predicate Logic. - Tu-San Pham; Jo Devriendt; Patrick De Causmaecker (LPNMR, 2019)

Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. - Marjolein Deryck; Joost Vennekens; Jo Devriendt; Simon Marynissen (ICSC, 2019)

Watched Propagation of 0-1 Integer Linear Constraints. - Jo Devriendt (CP, 2020)

Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. - Buser Say; Jo Devriendt; Jakob Nordström; Peter J. Stuckey (CP, 2020)

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. - Vincent Liew; Paul Beame; Jo Devriendt; Jan Elffers; Jakob Nordström (FMCAD, 2020)

Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning". - Jo Devriendt; Stephan Gocht; Emir Demirovic; Jakob Nordström; Peter J. Stuckey (Zenodo, 2020)

Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. - Jo Devriendt; Stephan Gocht; Emir Demirovic; Jakob Nordström; Peter J. Stuckey (AAAI, 2021)

Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. - Jo Devriendt; Ambros M. Gleixner; Jakob Nordström (Constraints An Int. J., 2021)

Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021. - Buser Say; Scott Sanner; Jo Devriendt; Jakob Nordström; Peter J. Stuckey (CoRR, 2021)

FOLASP: FO(.) as Input Language for Answer Ser Solvers. - Kylian Van Dessel; Jo Devriendt; Joost Vennekens (CoRR, 2021)

as Input Language for Answer Set Solvers. - Kylian Van Dessel; Jo Devriendt; Joost Vennekens (Theory Pract. Log. Program., 2021)

Simplifying Step-Wise Explanation Sequences. - Ignace Bleukx; Jo Devriendt; Emilio Gamba; Bart Bogaerts 001; Tias Guns (CP, 2023)

CosySEL: Improving SAT Solving Using Local Symmetries. - Sabrine Saouli; Souheib Baarir; Claude Dutheillet; Jo Devriendt (VMCAI, 2023)

Mutational Fuzz Testing for Constraint Modeling Systems. - Wout Vanroose; Ignace Bleukx; Jo Devriendt; Dimos Tsouros; Hélène Verhaeghe; Tias Guns (CP, 2024)

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis. - Orestis Lomis; Jo Devriendt; Hendrik Bierlee; Tias Guns (SAT, 2025)