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
72019
Nacre
G Glorian
Solver Descriptions of XCSP3 Competition 2018, 2018
62018
NACRE-A Nogood And Clause Reasoning Engine.
G Glorian, JM Lagniez, C Lecoutre
LPAR, 249-259, 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
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
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
12017
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–16