glorian.bib

@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},
  note = {to appear}
}

@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{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{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{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}
}

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

This file was generated by bibtex2html 1.98.