Publications

International conferences

2020 Constraints 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'23),pp. 249-259, 2020.

2019 Constraints Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski, An Incremental SAT-Based Approach for Graph Colouring Problem in The 25th International Conference on Principles and Practice of Constraint Programming (CP'19),2019.

2019 Constraints 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),2019.

2018 Constraints 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, 2018.

2018 Constraints Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis, An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks in 24th International Conference on Principles and Practice of Constraint Programming (CP'18),pp. 160-178, 2018.

National conferences

2019 Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis, Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives in  JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes,2019.

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.