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 | 8 | 2019 |
Nacre G Glorian Solver Descriptions of XCSP3 Competition 2018, 2018 | 8 | 2018 |
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 | 4 | 2021 |
NACRE-A nogood and clause reasoning engine G Glorian, JM Lagniez, C Lecoutre 23rd International Conference on Logic for Programming, Artificial …, 2020 | 4 | 2020 |
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 | 2 | 2022 |
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 | 2 | 2019 |
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 |
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 | | |