AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Jo Devriendt

Jo Devriendt

Catholic University of Leuven - Leuven / Belgium
Others
AD Scientific Index ID: 4510141
Katholieke Universiteit Leuven
person_outline Jo Devriendt's MOST POPULAR ARTICLES
1-) Improved static symmetry breaking for SAT International Conference on Theory and Applications of Satisfiability …, 2016
2-) Cutting to the core of pseudo-boolean optimization: Combining core-guided search with cutting planes reasoning Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3750-3758, 2021
3-) Symmetric explanation learning: Effective dynamic symmetry handling for SAT International Conference on Theory and Applications of Satisfiability …, 2017
4-) Model expansion in the presence of function symbols using constraint programming 2013 IEEE 25th International Conference on Tools with Artificial …, 2013
5-) Symmetry propagation: Improved dynamic symmetry breaking in SAT 2012 IEEE 24th International Conference on Tools with Artificial …, 2012