Publications

Articles de conférences internationales

2018 Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis, An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network in 24th International Conference on Principles and Practice of Constraint Programming (CP’18),août 2018. (to appear)

2017 Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure, Combining Nogoods in Restart-Based Search in 23rd International Conference on Principles and Practice of Constraint Programming (CP’17),Springer, pp. 129-138, août 2017.