Jo Devriendt

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

Joachim Jansen, Bart Bogaerts, Jo Devriendt et al. · International Joint Conference on Artificial Intelligence · 2016 · 303 citations

Artificial Intelligence, Ai Architecture, Engineering +7

Model Expansion in the Presence of Function Symbols Using Constraint Programming

Broes De Cat, Bart Bogaerts, Jo Devriendt et al. · 2013 · 33 citations · Full text

Mathematical Programming, Engineering, Model Expansion +19

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT

Jo Devriendt, Bart Bogaerts, Broes De Cat et al. · 2012 · 21 citations · Full text

Constraint Solving, Engineering, Constraint Satisfaction +14

On local domain symmetry for model expansion

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe et al. · Theory and Practice of Logic Programming · 2016 · 16 citations · Full text

Abstract Symmetry, Programming Language Theory, Local Domain Symmetry +15

Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning

Jo Devriendt, Stephan Gocht, Emir Demirović et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 15 citations · Full text

Artificial Intelligence, Mathematical Programming, Large-scale Global Optimization +26