Publications

Articles de conférences internationales

2020 Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre, NACRE - A Nogood And Clause Reasoning Engine in 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’20),pp. 249-259, 2020.

2019 Gilles Audemard, Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski, pFactory: A generic library for designing parallel solvers in International Conference on Applied Computing (AC),novembre 2019.

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.

Articles de conférences nationales

2017 Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure, Combinaison de nogoods extraits au redémarrage in 13è Journées Francophone de Programmation par Contraintes (JFPC’17),pp. 55–64, 2017.