Jo Devriendt

According to our database, Jo Devriendt authored at least 16 papers between 2012 and 2020.

Collaborative distances:

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

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