@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.