An incremental sat-based approach to reason efficiently on qualitative constraint networks G Glorian, JM Lagniez, V Montmirail, M Sioutis International Conference on Principles and Practice of Constraint …, 2018 | 11 | 2018 |
Combining nogoods in restart-based search G Glorian, F Boussemart, JM Lagniez, C Lecoutre, B Mazure Principles and Practice of Constraint Programming: 23rd International …, 2017 | 10 | 2017 |
An incremental sat-based approach to the graph colouring problem G Glorian, JM Lagniez, V Montmirail, N Szczepanski Principles and Practice of Constraint Programming: 25th International …, 2019 | 7 | 2019 |
Nacre G Glorian Solver Descriptions of XCSP3 Competition 2018, 2018 | 6 | 2018 |
NACRE-A Nogood And Clause Reasoning Engine. G Glorian, JM Lagniez, C Lecoutre LPAR, 249-259, 2020 | 3 | 2020 |
The dungeon variations problem using constraint programming G Glorian, A Debesson, S Yvon-Paliot, L Simon 27th International Conference on Principles and Practice of Constraint …, 2021 | 2 | 2021 |
Combinaison de nogoods extraits au redémarrage G Glorian, F Boussemart, JM Lagniez, C Lecoutre, B Mazure Treizièmes journées Francophones de Programmation par Contraintes, JFPC, 55-64, 2017 | 2 | 2017 |
Generalized confidence constraints G Perez, S Malalel, G Glorian, V Jung, A Papadopoulos, M Pelleau, ... Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 4078-4086, 2023 | 1 | 2023 |
Hybridation de techniques d’apprentissage de clauses en programmation par contraintes G Glorian Université d'Artois, 2019 | 1 | 2019 |
Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives G Glorian, JM Lagniez, V Montmirail, M Sioutis Quizièmes journées Francophones de Programmation par Contraintes, JFPC, 67-76, 2019 | 1 | 2019 |
P F ACTORY: A GENERIC LIBRARY FOR DESIGNING PARALLEL SOLVERS G Audemard, G Glorian, JM Lagniez, V Montmirail, N Szczepanski International Conference on Principles and Practice of Constraint Programming, 2017 | 1 | 2017 |
Distribution Optimization in Constraint Programming G Perez, G Glorian, W Suijlen, A Lallouet 29th International Conference on Principles and Practice of Constraint …, 2023 | | 2023 |
A Deep Reinforcement Learning Heuristic for SAT based on Antagonist Graph Neural Networks T Fournier, A Lallouet, T Cropsal, G Glorian, A Papadopoulos, A Petitet, ... 2022 IEEE 34th International Conference on Tools with Artificial …, 2022 | | 2022 |
Génération de donjons à l'aide de la programmation par contraintes G Glorian, A Debesson, S Yvon-Paliot, L Simon Seizièmes Journées Francophones de Programmation par Contraintes, JFPC 2021 …, 2021 | | 2021 |
Hybridation de techniques d'apprentissage de clauses en programmation par contraintes.(Hybridization of clause learning techniques in constraint programming). G Glorian Artois University, Arras, France, 2019 | | 2019 |
Explications paresseuses Ad hoc des contraintes Element et Sum S Sekar, G Glorian, G Perez, W Suijlen, E Monfroy, A Lallouet JFPC, 26, 0 | | |