Jo Devriendt

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 21

Top Topics

Integer Linear Programming

Experimental Evaluation

Boolean Optimization

Top Venues

Theory Pract. Log. Program.

Publications

Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, Tias Guns
Mutational Fuzz Testing for Constraint Modeling Systems. CP (2024)
Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
Simplifying Step-Wise Explanation Sequences. CP (2023)
Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt
CosySEL: Improving SAT Solving Using Local Symmetries. VMCAI (2023)
Kylian Van Dessel, Jo Devriendt, Joost Vennekens
FOLASP: FO(.) as Input Language for Answer Ser Solvers. CoRR (2021)
Buser Say, Scott Sanner, Jo Devriendt, Jakob Nordström, Peter J. Stuckey
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021. CoRR (2021)
Kylian Van Dessel, Jo Devriendt, Joost Vennekens
as Input Language for Answer Set Solvers. Theory Pract. Log. Program. 21 (6) (2021)
Jo Devriendt, Ambros M. Gleixner, Jakob Nordström
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Constraints An Int. J. 26 (1) (2021)
Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI (2021)
Jo Devriendt
Watched Propagation of 0-1 Integer Linear Constraints. CP (2020)
Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. FMCAD (2020)
Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. CP (2020)
Tu-San Pham, Jo Devriendt, Patrick De Causmaecker
Declarative Local Search for Predicate Logic. LPNMR (2019)
Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. ICSC (2019)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. SAT (2017)
San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker
A MIP Backend for the IDP System. CoRR (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Improved Static Symmetry Breaking for SAT. SAT (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On Local Domain Symmetry for Model Expansion. CoRR (2016)
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
On local domain symmetry for model expansion. Theory Pract. Log. Program. 16 (5-6) (2016)
Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker
Implementing a Relevance Tracker Module. CoRR (2016)
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Relevance for SAT(ID). IJCAI (2016)
Jo Devriendt, Bart Bogaerts
BreakID: Static Symmetry Breaking for ASP (System Description). CoRR (2016)
Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens
Experimental Evaluation of a State-Of-The-Art Grounder. PPDP (2014)
Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
Model Expansion in the Presence of Function Symbols Using Constraint Programming. ICTAI (2013)
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker
The effects of buying a new car: an extension of the IDP Knowledge Base System. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI (2012)