Jo Devriendt

According to our database, Jo Devriendt authored at least 24 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

CosySEL: Improving SAT Solving Using Local Symmetries.

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Simplifying Step-Wise Explanation Sequences.

Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2021

as Input Language for Answer Set Solvers.

Kylian Van Dessel, Jo Devriendt, Joost Vennekens

Theory Pract. Log. Program., 2021

FOLASP: FO(.) as Input Language for Answer Ser Solvers.

Kylian Van Dessel, Jo Devriendt, Joost Vennekens

CoRR, 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

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

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

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Dataset, September, 2020

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning.

Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models.

Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2020

Watched Propagation of 0-1 Integer Linear Constraints.

Jo Devriendt

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties.

Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen

Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Declarative Local Search for Predicate Logic.

Tu-San Pham, Jo Devriendt, Patrick De Causmaecker

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2017

Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016

On local domain symmetry for model expansion.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker

Theory Pract. Log. Program., 2016

A MIP Backend for the IDP System.

San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker

CoRR, 2016

Implementing a Relevance Tracker Module.

Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker

CoRR, 2016

BreakID: Static Symmetry Breaking for ASP (System Description).

Jo Devriendt, Bart Bogaerts

CoRR, 2016

Improved Static Symmetry Breaking for SAT.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Relevance for SAT(ID).

Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2014

Experimental Evaluation of a State-Of-The-Art Grounder.

Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

2013

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 Pract. Log. Program., 2013

Model Expansion in the Presence of Function Symbols Using Constraint Programming.

Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.

Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012