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),Springer, pp. 160–178, août 2018. [Download]

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.