| 2025 | SAT | Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis. | Orestis Lomis, Jo Devriendt, Hendrik Bierlee, Tias Guns |
| 2024 | CP | Mutational Fuzz Testing for Constraint Modeling Systems. | Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hlne Verhaeghe, Tias Guns |
| 2023 | CP | Simplifying Step-Wise Explanation Sequences. | Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns |
| 2023 | VMCAI | CosySEL: Improving SAT Solving Using Local Symmetries. | Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt |
| 2021 | AAAI | Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. | Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordstrm, Peter J. Stuckey |
| 2020 | CP | Watched Propagation of 0-1 Integer Linear Constraints. | Jo Devriendt |
| 2020 | CP | Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. | Buser Say, Jo Devriendt, Jakob Nordstrm, Peter J. Stuckey |
| 2020 | FMCAD | Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. | Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordstrm |
| 2019 | LPNMR | Declarative Local Search for Predicate Logic. | Tu-San Pham, Jo Devriendt, Patrick De Causmaecker |
| 2017 | SAT | Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe |
| 2016 | IJCAI | Relevance for SAT(ID). | Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker |
| 2016 | SAT | Improved Static Symmetry Breaking for SAT. | Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker |
| 2014 | PPDP | Experimental Evaluation of a State-Of-The-Art Grounder. | Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens |
| 2013 | ICTAI | Model Expansion in the Presence of Function Symbols Using Constraint Programming. | Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker |
| 2012 | ICTAI | Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. | Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears |