Suivre
Gaël Glorian
Gaël Glorian
Huawei Technologies Co., Ltd, Boulogne-Billancourt, France
Adresse e-mail validée de huawei.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
112018
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
Solver Descriptions of XCSP3 Competition 2018, 2018
82018
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
42021
NACRE-A nogood and clause reasoning engine
G Glorian, JM Lagniez, C Lecoutre
23rd International Conference on Logic for Programming, Artificial …, 2020
42020
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
22022
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
22019
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
Hybridation de techniques d’apprentissage de clauses en programmation par contraintes
G Glorian
Université d'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
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
Explications paresseuses Ad hoc des contraintes Element et Sum
S Sekar, G Glorian, G Perez, W Suijlen, E Monfroy, A Lallouet
JFPC, 26, 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| Theses. fr
G Glorian
Artois, 2019
2019
Hybridation de techniques d'apprentissage de clauses en programmation par contraintes.(Hybridization of clause learning techniques in constraint programming)
G Glorian
2019
Réseaux de neurones antagonistes sur les graphes pour l’apprentissage d’une heuristique SAT
T Fournier, A Lallouet, T Cropsal, G Glorian, A Papadopoulos, A Petitet, ...
JFPC, 35, 0
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20