Follow
Gaël Glorian
Gaël Glorian
Huawei Technologies Co., Ltd, Boulogne-Billancourt, France
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
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
122018
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
102017
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
82019
Nacre
G Glorian
Christophe Lecoutre et Olivier Roussel, éditeurs: Proc. of, 85-85, 2018
72018
NACRE-A nogood and clause reasoning engine
G Glorian, JM Lagniez, C Lecoutre
23rd International Conference on Logic for Programming, Artificial …, 2020
32020
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
22021
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
22017
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
12023
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
12022
Hybridation de techniques d'apprentissage de clauses en programmation par contraintes
G Glorian
Artois, 2019
12019
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
12019
pfactory: A generic library for designing parallel solvers
G Audemard, G Glorian, JM Lagniez, V Montmirail, N Szczepanski
the 16th International Conference on Applied Computing, AC 19, 2019
12019
A Constraint Programming Model for Scheduling the Unloading of Trains in Ports: Extended
G Perez, G Glorian, W Suijlen, A Lallouet
arXiv preprint arXiv:2312.13682, 2023
2023
A Constraint Programming Model for Scheduling the Unloading of Trains in Ports
G Perez, G Glorian, W Suijlen, A Lallouet
2023 IEEE 35th International Conference on Tools with Artificial …, 2023
2023
Distribution Optimization in Constraint Programming
G Perez, G Glorian, W Suijlen, A Lallouet
29th International Conference on Principles and Practice of Constraint …, 2023
2023
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
The system can't perform the operation now. Try again later.
Articles 1–18