Jo Devriendt

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