Jo Devriendt

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models.
Proceedings of the Principles and Practice of Constraint Programming, 2020

Watched Propagation of 0-1 Integer Linear Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2020

2019
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties.
Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Declarative Local Search for Predicate Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

2017
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.
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.
Theory Pract. Log. Program., 2016

A MIP Backend for the IDP System.
CoRR, 2016

Implementing a Relevance Tracker Module.
CoRR, 2016

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

Improved Static Symmetry Breaking for SAT.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Relevance for SAT(ID).
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2014
Experimental Evaluation of a State-Of-The-Art Grounder.
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.
Theory Pract. Log. Program., 2013

Model Expansion in the Presence of Function Symbols Using Constraint Programming.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012


  Loading...