@inproceedings{DBLP:conf/ictai/SekarGSML24,
author = {Suruthy Sekar and
Ga{\"{e}}l Glorian and
Wijnand Suijlen and
{\'{E}}ric Monfroy and
Arnaud Lallouet},
title = {Lazy ad hoc Explanations for the Sum Constraint},
booktitle = {36th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2024, Herndon, VA, USA, October 28-30, 2024},
pages = {10--17},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICTAI62512.2024.00011},
doi = {10.1109/ICTAI62512.2024.00011},
timestamp = {Wed, 19 Feb 2025 15:17:39 +0100},
biburl = {https://dblp.org/rec/conf/ictai/SekarGSML24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PerezMGJPPSRL23,
author = {Guillaume Perez and
Steve Malalel and
Gael Glorian and
Victor Jung and
Alexandre Papadopoulos and
Marie Pelleau and
Wijnand Suijlen and
Jean{-}Charles R{\'{e}}gin and
Arnaud Lallouet},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Generalized Confidence Constraints},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {4078--4086},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i4.25523},
doi = {10.1609/AAAI.V37I4.25523},
timestamp = {Mon, 05 Feb 2024 20:26:57 +0100},
biburl = {https://dblp.org/rec/conf/aaai/PerezMGJPPSRL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PerezGSL23,
author = {Guillaume Perez and
Ga{\"{e}}l Glorian and
Wijnand Suijlen and
Arnaud Lallouet},
editor = {Roland H. C. Yap},
title = {Distribution Optimization in Constraint Programming},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, Toronto, Canada, August 27-31, 2023},
series = {LIPIcs},
volume = {280},
pages = {29:1--29:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.29},
doi = {10.4230/LIPICS.CP.2023.29},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/cp/PerezGSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PerezGSL23,
author = {Guillaume Perez and
Ga{\"{e}}l Glorian and
Wijnand Suijlen and
Arnaud Lallouet},
title = {A Constraint Programming Model for Scheduling the Unloading of Trains
in Ports},
booktitle = {35th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2023, Atlanta, GA, USA, November 6-8, 2023},
pages = {693--699},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICTAI59109.2023.00108},
doi = {10.1109/ICTAI59109.2023.00108},
timestamp = {Mon, 05 Feb 2024 20:34:21 +0100},
biburl = {https://dblp.org/rec/conf/ictai/PerezGSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-13682,
author = {Guillaume Perez and
Gael Glorian and
Wijnand Suijlen and
Arnaud Lallouet},
title = {A Constraint Programming Model for Scheduling the Unloading of Trains
in Ports: Extended},
journal = {CoRR},
volume = {abs/2312.13682},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.13682},
doi = {10.48550/ARXIV.2312.13682},
eprinttype = {arXiv},
eprint = {2312.13682},
timestamp = {Mon, 05 Feb 2024 20:18:35 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-13682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{GlorianDYSjfpc23,
author = {Suruthy Sekar and
Gael Glorian and
Guillaume Perez and
Wijnand Suijlen and
Eric Monfroy and
Arnaud Lallouet},
title = {Explications paresseuses Ad hoc des contraintes Element et Sum},
booktitle = {Journées Francophones de Programmation par Contraintes, JFPC 2023 @ PFIA 2023, Strasbourg, France, 3 au 5 juillet, 2023},
year = {2023}
}
@inproceedings{DBLP:conf/ictai/FournierLCGPPPSS22,
author = {Thomas Fournier and
Arnaud Lallouet and
T{\'{e}}lio Cropsal and
Ga{\"{e}}l Glorian and
Alexandre Papadopoulos and
Antoine Petitet and
Guillaume Perez and
Suruthy Sekar and
Wijnand Suijlen},
editor = {Marek Z. Reformat and
Du Zhang and
Nikolaos G. Bourbakis},
title = {A Deep Reinforcement Learning Heuristic for {SAT} based on Antagonist
Graph Neural Networks},
booktitle = {34th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2022, Macao, China, October 31 - November 2, 2022},
pages = {1218--1222},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICTAI56018.2022.00185},
doi = {10.1109/ICTAI56018.2022.00185},
timestamp = {Fri, 04 Jul 2025 22:07:58 +0200},
biburl = {https://dblp.org/rec/conf/ictai/FournierLCGPPPSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GlorianDYS21,
author = {Ga{\"{e}}l Glorian and
Adrien Debesson and
Sylvain Yvon{-}Paliot and
Laurent Simon},
editor = {Laurent D. Michel},
title = {The Dungeon Variations Problem Using Constraint Programming},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {27:1--27:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.27},
doi = {10.4230/LIPIcs.CP.2021.27},
timestamp = {Mon, 03 Jan 2022 22:38:30 +0100},
biburl = {https://dblp.org/rec/conf/cp/GlorianDYS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GlorianLL20,
author = {Gael Glorian and
Jean{-}Marie Lagniez and
Christophe Lecoutre},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {{NACRE} - {A} Nogood And Clause Reasoning Engine},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {249--259},
publisher = {EasyChair},
year = {2020},
url = {https://easychair.org/publications/paper/rN67},
timestamp = {Fri, 29 May 2020 12:05:09 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GlorianLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{glorian:tel-02971371,
title = {{Hybridation de techniques d'apprentissage de clauses en programmation par contraintes}},
author = {Glorian, Gael},
url = {https://hal.archives-ouvertes.fr/tel-02971371},
school = {{Universit{\'e} d'Artois}},
year = {2019},
month = dec,
keywords = {constraint programming ; SAT ; clauses ; nogoods ; hybridization ; programmation par contraintes ; SAT ; clauses ; nogoods ; hybridation},
type = {Theses},
pdf = {https://hal.archives-ouvertes.fr/tel-02971371/file/108905_GLORIAN_2019_archivage.pdf},
hal_id = {tel-02971371},
hal_version = {v1}
}
@inproceedings{DBLP:conf/cp/GlorianLMS19,
author = {Gael Glorian and
Jean{-}Marie Lagniez and
Valentin Montmirail and
Nicolas Szczepanski},
editor = {Thomas Schiex and
Simon de Givry},
title = {An Incremental SAT-Based Approach to the Graph Colouring Problem},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {213--231},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_13},
doi = {10.1007/978-3-030-30048-7\_13},
timestamp = {Mon, 23 Sep 2019 13:59:34 +0200},
biburl = {https://dblp.org/rec/bib/conf/cp/GlorianLMS19},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{AudemardGLMS19,
title = {pFactory: A generic library for designing parallel solvers},
author = {Gilles Audemard and
Gael Glorian and
Jean{-}Marie Lagniez and
Valentin Montmirail and
Nicolas Szczepanski},
booktitle = {the 16th International Conference on Applied Computing, AC'19},
year = {2019},
editor = {Hans Weghorn},
pages = {89--96}
}
@inproceedings{NACRE18,
author = {Glorian, Gael},
editor = {Christophe Lecoutre and
Olivier Roussel},
title = {NACRE},
booktitle = {Proceedings of the 2018 {XCSP3} Competition},
year = {2019},
url = {http://arxiv.org/abs/1901.01830},
pages = {85--85},
archiveprefix = {arXiv}
}
@inproceedings{GlorianDYSjfpc21,
author = {Gael Glorian and
Adrien Debesson and
Sylvain Yvon{-}Paliot and
Laurent Simon},
title = {Génération de donjons à l'aide de la programmation par contraintes},
booktitle = {Seizièmes Journées Francophones de Programmation par Contraintes, JFPC 2021, Nice, France, 22 au 24 juin, 2021, Actes},
year = {2021}
}
@inproceedings{GlorianLMSjfpc19,
author = {Gael Glorian and
Jean{-}Marie Lagniez and
Valentin Montmirail and
Michael Sioutis},
title = {Une approche SAT incr{\'e}mentale pour raisonner efficacement sur les r{\'e}seaux de contraintes qualitatives},
booktitle = {Quizièmes journées Francophones de Programmation par Contraintes,
{JFPC} 2019, Albi, France, 10 au 13 juin, 2019, Actes},
volume = {15},
pages = {67--76},
publisher = {AFPC},
year = {2019}
}
@inproceedings{DBLP:conf/cp/GlorianLMS18,
author = {Gael Glorian and
Jean{-}Marie Lagniez and
Valentin Montmirail and
Michael Sioutis},
editor = {John N. Hooker},
title = {An Incremental SAT-Based Approach to Reason Efficiently on Qualitative
Constraint Networks},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {160--178},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_11},
doi = {10.1007/978-3-319-98334-9\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/bib/conf/cp/GlorianLMS18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GlorianBLLM17,
author = {Gael Glorian and
Fr{\'{e}}d{\'{e}}ric Boussemart and
Jean{-}Marie Lagniez and
Christophe Lecoutre and
Bertrand Mazure},
editor = {J. Christopher Beck},
title = {Combining Nogoods in Restart-Based Search},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {129--138},
publisher = {Springer},
year = {2017},
doi = {10.1007/978-3-319-66158-2\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/bib/conf/cp/GlorianBLLM17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{GlorianBLLMjfpc17,
author = {Gael Glorian and
Fr{\'{e}}d{\'{e}}ric Boussemart and
Jean{-}Marie Lagniez and
Christophe Lecoutre and
Bertrand Mazure},
title = {Combinaison de nogoods extraits au redémarrage},
booktitle = {Treizièmes journées Francophones de Programmation par Contraintes,
{JFPC} 2017, Montreuil-sur-mer, France, 13 au 15 juin, 2017, Actes},
volume = {13},
pages = {55--64},
publisher = {AFPC},
year = {2017}
}
This file was generated by bibtex2html 1.99.