BibTeX records: Patrice Boizumault

download as .bib file

@inproceedings{DBLP:conf/ida/KoptelovZBBL23,
  author       = {Maksim Koptelov and
                  Albrecht Zimmermann and
                  Patrice Boizumault and
                  Ronan Bureau and
                  Jean Luc Lamotte},
  editor       = {Bruno Cr{\'{e}}milleux and
                  Sibylle Hess and
                  Siegfried Nijssen},
  title        = {Explanations for Itemset Mining by Constraint Programming: {A} Case
                  Study Using ChEMBL Data},
  booktitle    = {Advances in Intelligent Data Analysis {XXI} - 21st International Symposium
                  on Intelligent Data Analysis, {IDA} 2023, Louvain-la-Neuve, Belgium,
                  April 12-14, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13876},
  pages        = {208--221},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30047-9\_17},
  doi          = {10.1007/978-3-031-30047-9\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ida/KoptelovZBBL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/OualiAGLLLB20,
  author       = {Abdelkader Ouali and
                  David Allouche and
                  Simon de Givry and
                  Samir Loudni and
                  Yahia Lebbah and
                  Lakhdar Loukil and
                  Patrice Boizumault},
  title        = {Variable neighborhood search for graphical model energy minimization},
  journal      = {Artif. Intell.},
  volume       = {278},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2019.103194},
  doi          = {10.1016/J.ARTINT.2019.103194},
  timestamp    = {Wed, 27 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/OualiAGLLLB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/UgarteLBCT19,
  author       = {Willy Ugarte and
                  Samir Loudni and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux and
                  Alexandre Termier},
  editor       = {Franz Wotawa and
                  Gerhard Friedrich and
                  Ingo Pill and
                  Roxane Koitz{-}Hristov and
                  Moonis Ali},
  title        = {Compressing and Querying Skypattern Cubes},
  booktitle    = {Advances and Trends in Artificial Intelligence. From Theory to Practice
                  - 32nd International Conference on Industrial, Engineering and Other
                  Applications of Applied Intelligent Systems, {IEA/AIE} 2019, Graz,
                  Austria, July 9-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11606},
  pages        = {406--421},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22999-3\_36},
  doi          = {10.1007/978-3-030-22999-3\_36},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/UgarteLBCT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/UgarteBCLLPRS17,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux and
                  Alban Lepailleur and
                  Samir Loudni and
                  Marc Plantevit and
                  Chedy Ra{\"{\i}}ssi and
                  Arnaud Soulet},
  title        = {Skypattern mining: From pattern condensed representations to dynamic
                  constraint satisfaction problems},
  journal      = {Artif. Intell.},
  volume       = {244},
  pages        = {48--69},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.artint.2015.04.003},
  doi          = {10.1016/J.ARTINT.2015.04.003},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/UgarteBCLLPRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/KemmarLLBC17,
  author       = {Amina Kemmar and
                  Yahia Lebbah and
                  Samir Loudni and
                  Patrice Boizumault and
                  Thierry Charnois},
  title        = {Prefix-projection global constraint and top-k approach for sequential
                  pattern mining},
  journal      = {Constraints An Int. J.},
  volume       = {22},
  number       = {2},
  pages        = {265--306},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10601-016-9252-z},
  doi          = {10.1007/S10601-016-9252-Z},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/KemmarLLBC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/OualiZLLCBL17,
  author       = {Abdelkader Ouali and
                  Albrecht Zimmermann and
                  Samir Loudni and
                  Yahia Lebbah and
                  Bruno Cr{\'{e}}milleux and
                  Patrice Boizumault and
                  Lakhdar Loukil},
  editor       = {Jinho Kim and
                  Kyuseok Shim and
                  Longbing Cao and
                  Jae{-}Gil Lee and
                  Xuemin Lin and
                  Yang{-}Sae Moon},
  title        = {Integer Linear Programming for Pattern Set Mining; with an Application
                  to Tiling},
  booktitle    = {Advances in Knowledge Discovery and Data Mining - 21st Pacific-Asia
                  Conference, {PAKDD} 2017, Jeju, South Korea, May 23-26, 2017, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10235},
  pages        = {286--299},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57529-2\_23},
  doi          = {10.1007/978-3-319-57529-2\_23},
  timestamp    = {Mon, 16 Mar 2020 17:44:09 +0100},
  biburl       = {https://dblp.org/rec/conf/pakdd/OualiZLLCBL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlloucheBBGGLLL16,
  author       = {David Allouche and
                  Christian Bessiere and
                  Patrice Boizumault and
                  Simon de Givry and
                  Patricia Gutierrez and
                  Jimmy H. M. Lee and
                  Ka Lun Leung and
                  Samir Loudni and
                  Jean{-}Philippe M{\'{e}}tivier and
                  Thomas Schiex and
                  Yi Wu},
  title        = {Tractability-preserving transformations of global cost functions},
  journal      = {Artif. Intell.},
  volume       = {238},
  pages        = {166--189},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2016.06.005},
  doi          = {10.1016/J.ARTINT.2016.06.005},
  timestamp    = {Fri, 04 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AlloucheBBGGLLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/KemmarLLBC16,
  author       = {Amina Kemmar and
                  Yahia Lebbah and
                  Samir Loudni and
                  Patrice Boizumault and
                  Thierry Charnois},
  title        = {Une contrainte globale pour l'extraction de motifs s{\'{e}}quentiels},
  journal      = {Rev. d'Intelligence Artif.},
  volume       = {30},
  number       = {6},
  pages        = {675--703},
  year         = {2016},
  url          = {https://doi.org/10.3166/ria.30.675-703},
  doi          = {10.3166/RIA.30.675-703},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ria/KemmarLLBC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LazaarLLMLBB16,
  author       = {Nadjib Lazaar and
                  Yahia Lebbah and
                  Samir Loudni and
                  Mehdi Maamar and
                  Valentin Lemi{\`{e}}re and
                  Christian Bessiere and
                  Patrice Boizumault},
  editor       = {Michel Rueher},
  title        = {A Global Constraint for Closed Frequent Pattern Mining},
  booktitle    = {Principles and Practice of Constraint Programming - 22nd International
                  Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9892},
  pages        = {333--349},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44953-1\_22},
  doi          = {10.1007/978-3-319-44953-1\_22},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LazaarLLMLBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KemmarLLBC16,
  author       = {Amina Kemmar and
                  Samir Loudni and
                  Yahia Lebbah and
                  Patrice Boizumault and
                  Thierry Charnois},
  editor       = {Claude{-}Guy Quimper},
  title        = {A Global Constraint for Mining Sequential Patterns with {GAP} Constraint},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
                  May 29 - June 1, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9676},
  pages        = {198--215},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33954-2\_15},
  doi          = {10.1007/978-3-319-33954-2\_15},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KemmarLLBC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OualiLLBZL16,
  author       = {Abdelkader Ouali and
                  Samir Loudni and
                  Yahia Lebbah and
                  Patrice Boizumault and
                  Albrecht Zimmermann and
                  Lakhdar Loukil},
  editor       = {Subbarao Kambhampati},
  title        = {Efficiently Finding Conceptual Clustering Models with Integer Linear
                  Programming},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {647--654},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/098},
  timestamp    = {Tue, 20 Aug 2019 16:19:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/OualiLLBZL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/OualiLLBL15,
  author       = {Abdelkader Ouali and
                  Samir Loudni and
                  Lakhdar Loukil and
                  Patrice Boizumault and
                  Yahia Lebbah},
  title        = {Replicated Parallel Strategies for Decomposition Guided {VNS}},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {47},
  pages        = {93--100},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.endm.2014.11.013},
  doi          = {10.1016/J.ENDM.2014.11.013},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/OualiLLBL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/UgarteBLCL15,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux and
                  Alban Lepailleur},
  title        = {Soft constraints for pattern mining},
  journal      = {J. Intell. Inf. Syst.},
  volume       = {44},
  number       = {2},
  pages        = {193--221},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10844-013-0281-4},
  doi          = {10.1007/S10844-013-0281-4},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jiis/UgarteBLCL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KemmarLLBC15,
  author       = {Amina Kemmar and
                  Samir Loudni and
                  Yahia Lebbah and
                  Patrice Boizumault and
                  Thierry Charnois},
  editor       = {Gilles Pesant},
  title        = {{PREFIX-PROJECTION} Global Constraint for Sequential Pattern Mining},
  booktitle    = {Principles and Practice of Constraint Programming - 21st International
                  Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9255},
  pages        = {226--243},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23219-5\_17},
  doi          = {10.1007/978-3-319-23219-5\_17},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KemmarLLBC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/UgarteBLC15,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux},
  title        = {Modeling and Mining Optimal Patterns Using Dynamic {CSP}},
  booktitle    = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
  pages        = {33--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICTAI.2015.19},
  doi          = {10.1109/ICTAI.2015.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/UgarteBLC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlloucheBBGGLLL15,
  author       = {David Allouche and
                  Christian Bessiere and
                  Patrice Boizumault and
                  Simon de Givry and
                  Patricia Gutierrez and
                  Jimmy H. M. Lee and
                  Ka Lun Leung and
                  Samir Loudni and
                  Jean{-}Philippe M{\'{e}}tivier and
                  Thomas Schiex and
                  Yi Wu},
  title        = {Tractability and Decompositions of Global Cost Functions},
  journal      = {CoRR},
  volume       = {abs/1502.02414},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.02414},
  eprinttype    = {arXiv},
  eprint       = {1502.02414},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlloucheBBGGLLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KemmarLLBC15,
  author       = {Amina Kemmar and
                  Samir Loudni and
                  Yahia Lebbah and
                  Patrice Boizumault and
                  Thierry Charnois},
  title        = {Prefix-Projection Global Constraint for Sequential Pattern Mining},
  journal      = {CoRR},
  volume       = {abs/1504.07877},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.07877},
  eprinttype    = {arXiv},
  eprint       = {1504.07877},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KemmarLLBC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KemmarLLBC15a,
  author       = {Amina Kemmar and
                  Samir Loudni and
                  Yahia Lebbah and
                  Patrice Boizumault and
                  Thierry Charnois},
  title        = {A global Constraint for mining Sequential Patterns with {GAP} constraint},
  journal      = {CoRR},
  volume       = {abs/1511.08350},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.08350},
  eprinttype    = {arXiv},
  eprint       = {1511.08350},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KemmarLLBC15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/RojasBLCL14,
  author       = {Willy Ugarte Rojas and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux and
                  Alban Lepailleur},
  editor       = {Helmut Simonis},
  title        = {Mining (Soft-) Skypatterns Using Dynamic {CSP}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May
                  19-23, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8451},
  pages        = {71--87},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07046-9\_6},
  doi          = {10.1007/978-3-319-07046-9\_6},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/RojasBLCL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/UgarteBLC14,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux},
  editor       = {Torsten Schaub and
                  Gerhard Friedrich and
                  Barry O'Sullivan},
  title        = {Computing Skypattern Cubes},
  booktitle    = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
                  18-22 August 2014, Prague, Czech Republic - Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2014)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {263},
  pages        = {903--908},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-419-0-903},
  doi          = {10.3233/978-1-61499-419-0-903},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/UgarteBLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hm/OualiLLBL14,
  author       = {Abdelkader Ouali and
                  Samir Loudni and
                  Lakhdar Loukil and
                  Patrice Boizumault and
                  Yahia Lebbah},
  editor       = {Maria J. Blesa and
                  Christian Blum and
                  Stefan Vo{\ss}},
  title        = {Cooperative Parallel Decomposition Guided {VNS} for Solving Weighted
                  {CSP}},
  booktitle    = {Hybrid Metaheuristics - 9th International Workshop, {HM} 2014, Hamburg,
                  Germany, June 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8457},
  pages        = {100--114},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07644-7\_8},
  doi          = {10.1007/978-3-319-07644-7\_8},
  timestamp    = {Thu, 29 Feb 2024 15:50:30 +0100},
  biburl       = {https://dblp.org/rec/conf/hm/OualiLLBL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/KemmarULCLBC14,
  author       = {Amina Kemmar and
                  Willy Ugarte and
                  Samir Loudni and
                  Thierry Charnois and
                  Yahia Lebbah and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux},
  title        = {Mining Relevant Sequence Patterns with CP-Based Framework},
  booktitle    = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
  pages        = {552--559},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICTAI.2014.89},
  doi          = {10.1109/ICTAI.2014.89},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/KemmarULCLBC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/UgarteBLC14,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux},
  title        = {Computing Skypattern Cubes Using Relaxation},
  booktitle    = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
  pages        = {859--866},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICTAI.2014.132},
  doi          = {10.1109/ICTAI.2014.132},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/UgarteBLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/FontaineLB13,
  author       = {Mathieu Fontaine and
                  Samir Loudni and
                  Patrice Boizumault},
  title        = {Exploiting Tree Decomposition for Guiding Neighborhoods Exploration
                  for {VNS}},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {47},
  number       = {2},
  pages        = {91--123},
  year         = {2013},
  url          = {https://doi.org/10.1051/ro/2013030},
  doi          = {10.1051/RO/2013030},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/FontaineLB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/UgarteBLCL13a,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux and
                  Alban Lepailleur},
  editor       = {Fabrice Guillet and
                  Bruno Pinaud and
                  Gilles Venturini and
                  Djamel Abdelkader Zighed},
  title        = {Mining (Soft-) Skypatterns Using Constraint Programming},
  booktitle    = {Advances in Knowledge Discovery and Management - Volume 5 [Best of
                  {EGC} 2013, Toulouse, France]},
  series       = {Studies in Computational Intelligence},
  volume       = {615},
  pages        = {105--136},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-23751-0\_6},
  doi          = {10.1007/978-3-319-23751-0\_6},
  timestamp    = {Sat, 30 Sep 2023 09:40:59 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/UgarteBLCL13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/UgarteBLCL13,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux and
                  Alban Lepailleur},
  editor       = {Christel Vrain and
                  Andr{\'{e}} P{\'{e}}ninou and
                  Florence S{\`{e}}des},
  title        = {D{\'{e}}couverte des soft-skypatterns avec une approche {PPC}},
  booktitle    = {Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier
                  - 01 f{\'{e}}vrier 2013, Toulouse, France},
  series       = {Revue des Nouvelles Technologies de l'Information},
  volume       = {{RNTI-E-24}},
  pages        = {217--228},
  publisher    = {Hermann-{\'{E}}ditions},
  year         = {2013},
  url          = {http://editions-rnti.fr/?inprocid=1001838},
  timestamp    = {Thu, 24 Apr 2014 17:37:27 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/UgarteBLCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hm/LoudniFB13,
  author       = {Samir Loudni and
                  Mathieu Fontaine and
                  Patrice Boizumault},
  editor       = {Maria J. Blesa and
                  Christian Blum and
                  Paola Festa and
                  Andrea Roli and
                  Michael Sampels},
  title        = {Intensification/Diversification in Decomposition Guided {VNS}},
  booktitle    = {Hybrid Metaheuristics - 8th International Workshop, {HM} 2013, Ischia,
                  Italy, May 23-25, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7919},
  pages        = {22--36},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38516-2\_3},
  doi          = {10.1007/978-3-642-38516-2\_3},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hm/LoudniFB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/LoudniFB12,
  author       = {Samir Loudni and
                  Mathieu Fontaine and
                  Patrice Boizumault},
  title        = {Exploiting Separators for Guiding {VNS}},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {39},
  pages        = {265--272},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.endm.2012.10.035},
  doi          = {10.1016/J.ENDM.2012.10.035},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/LoudniFB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlloucheBBGGLMS12,
  author       = {David Allouche and
                  Christian Bessiere and
                  Patrice Boizumault and
                  Simon de Givry and
                  Patricia Gutierrez and
                  Samir Loudni and
                  Jean{-}Philippe M{\'{e}}tivier and
                  Thomas Schiex},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Filtering Decomposable Global Cost Functions},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {407--413},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8124},
  doi          = {10.1609/AAAI.V26I1.8124},
  timestamp    = {Mon, 04 Sep 2023 15:56:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AlloucheBBGGLMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/UgarteBLC12,
  author       = {Willy Ugarte and
                  Patrice Boizumault and
                  Samir Loudni and
                  Bruno Cr{\'{e}}milleux},
  editor       = {Jean{-}Gabriel Ganascia and
                  Philippe Lenca and
                  Jean{-}Marc Petit},
  title        = {Soft Threshold Constraints for Pattern Mining},
  booktitle    = {Discovery Science - 15th International Conference, {DS} 2012, Lyon,
                  France, October 29-31, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7569},
  pages        = {313--327},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33492-4\_25},
  doi          = {10.1007/978-3-642-33492-4\_25},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/dis/UgarteBLC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/MetivierBCKL12,
  author       = {Jean{-}Philippe M{\'{e}}tivier and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux and
                  Mehdi Khiari and
                  Samir Loudni},
  editor       = {Jaakko Hollm{\'{e}}n and
                  Frank Klawonn and
                  Allan Tucker},
  title        = {Constrained Clustering Using {SAT}},
  booktitle    = {Advances in Intelligent Data Analysis {XI} - 11th International Symposium,
                  {IDA} 2012, Helsinki, Finland, October 25-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7619},
  pages        = {207--218},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34156-4\_20},
  doi          = {10.1007/978-3-642-34156-4\_20},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ida/MetivierBCKL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MetivierBCKL12,
  author       = {Jean{-}Philippe M{\'{e}}tivier and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux and
                  Mehdi Khiari and
                  Samir Loudni},
  editor       = {Sascha Ossowski and
                  Paola Lecca},
  title        = {A constraint language for declarative pattern discovery},
  booktitle    = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
                  Riva, Trento, Italy, March 26-30, 2012},
  pages        = {119--125},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2245276.2245302},
  doi          = {10.1145/2245276.2245302},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/MetivierBCKL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/MetivierBCKL11,
  author       = {Jean{-}Philippe M{\'{e}}tivier and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux and
                  Mehdi Khiari and
                  Samir Loudni},
  editor       = {Myra Spiliopoulou and
                  Haixun Wang and
                  Diane J. Cook and
                  Jian Pei and
                  Wei Wang and
                  Osmar R. Za{\"{\i}}ane and
                  Xindong Wu},
  title        = {A Constraint-Based Language for Declarative Pattern Discovery},
  booktitle    = {Data Mining Workshops (ICDMW), 2011 {IEEE} 11th International Conference
                  on, Vancouver, BC, Canada, December 11, 2011},
  pages        = {1112--1119},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICDMW.2011.11},
  doi          = {10.1109/ICDMW.2011.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdm/MetivierBCKL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FontaineLB11,
  author       = {Mathieu Fontaine and
                  Samir Loudni and
                  Patrice Boizumault},
  title        = {Guiding {VNS} with Tree Decomposition},
  booktitle    = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
  pages        = {505--512},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICTAI.2011.82},
  doi          = {10.1109/ICTAI.2011.82},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/FontaineLB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/KhiariBC11,
  author       = {Mehdi Khiari and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux},
  editor       = {Marzena Kryszkiewicz and
                  Henryk Rybinski and
                  Andrzej Skowron and
                  Zbigniew W. Ras},
  title        = {A Generic Approach for Modeling and Mining n-ary Patterns},
  booktitle    = {Foundations of Intelligent Systems - 19th International Symposium,
                  {ISMIS} 2011, Warsaw, Poland, June 28-30, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6804},
  pages        = {300--305},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21916-0\_33},
  doi          = {10.1007/978-3-642-21916-0\_33},
  timestamp    = {Thu, 14 Oct 2021 10:09:10 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/KhiariBC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-3407,
  author       = {Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux and
                  Mehdi Khiari and
                  Samir Loudni and
                  Jean{-}Philippe M{\'{e}}tivier},
  title        = {Discovering Knowledge using a Constraint-based Language},
  journal      = {CoRR},
  volume       = {abs/1107.3407},
  year         = {2011},
  url          = {http://arxiv.org/abs/1107.3407},
  eprinttype    = {arXiv},
  eprint       = {1107.3407},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-3407.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/LoudniBL10,
  author       = {Samir Loudni and
                  Patrice Boizumault and
                  Nicolas Levasseur},
  title        = {Advanced generic neighborhood heuristics for {VNS}},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {23},
  number       = {5},
  pages        = {736--764},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.engappai.2010.01.014},
  doi          = {10.1016/J.ENGAPPAI.2010.01.014},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eaai/LoudniBL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KhiariBC10,
  author       = {Mehdi Khiari and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux},
  editor       = {David Cohen},
  title        = {Constraint Programming for Mining n-ary Patterns},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
                  International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
                  6-10, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6308},
  pages        = {552--567},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15396-9\_44},
  doi          = {10.1007/978-3-642-15396-9\_44},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KhiariBC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/KhiariBC10a,
  author       = {Mehdi Khiari and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux},
  editor       = {Fabrice Guillet and
                  Gilbert Ritschard and
                  Djamel Abdelkader Zighed},
  title        = {Combining Constraint Programming and Constraint-Based Mining for Pattern
                  Discovery},
  booktitle    = {Advances in Knowledge Discovery and Management - Volume 2 [Best of
                  {EGC} 2010, Hammamet, Tunisie]},
  series       = {Studies in Computational Intelligence},
  volume       = {398},
  pages        = {85--103},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-25838-1\_5},
  doi          = {10.1007/978-3-642-25838-1\_5},
  timestamp    = {Sat, 30 Sep 2023 09:40:59 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/KhiariBC10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/KhiariBC10,
  author       = {Mehdi Khiari and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux},
  editor       = {Sadok Ben Yahia and
                  Jean{-}Marc Petit},
  title        = {Allier CSPs et motifs locaux pour la d{\'{e}}couverte de motifs
                  sous contraintes n-aires},
  booktitle    = {Extraction et gestion des connaissances (EGC'2010), Actes, 26 au 29
                  janvier 2010, Hammamet, Tunisie},
  series       = {Revue des Nouvelles Technologies de l'Information},
  volume       = {{RNTI-E-19}},
  pages        = {199--210},
  publisher    = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year         = {2010},
  url          = {http://editions-rnti.fr/?inprocid=1001292},
  timestamp    = {Thu, 24 Apr 2014 17:37:27 +0200},
  biburl       = {https://dblp.org/rec/conf/f-egc/KhiariBC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/KhiariBC10,
  author       = {Mehdi Khiari and
                  Patrice Boizumault and
                  Bruno Cr{\'{e}}milleux},
  editor       = {David Taniar and
                  Osvaldo Gervasi and
                  Beniamino Murgante and
                  Eric Pardede and
                  Bernady O. Apduhan},
  title        = {Combining {CSP} and Constraint-Based Mining for Pattern Discovery},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2010, International
                  Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6017},
  pages        = {432--447},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12165-4\_35},
  doi          = {10.1007/978-3-642-12165-4\_35},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/KhiariBC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MetivierBL09,
  author       = {Jean{-}Philippe M{\'{e}}tivier and
                  Patrice Boizumault and
                  Samir Loudni},
  editor       = {Ian P. Gent},
  title        = {Solving Nurse Rostering Problems Using Soft Global Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
                  International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
                  2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5732},
  pages        = {73--87},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04244-7\_9},
  doi          = {10.1007/978-3-642-04244-7\_9},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MetivierBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MetivierBL09,
  author       = {Jean{-}Philippe M{\'{e}}tivier and
                  Patrice Boizumault and
                  Samir Loudni},
  editor       = {Sung Y. Shin and
                  Sascha Ossowski},
  title        = {Softening Gcc and Regular with preferences},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
                  Honolulu, Hawaii, USA, March 9-12, 2009},
  pages        = {1392--1396},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1529282.1529593},
  doi          = {10.1145/1529282.1529593},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/MetivierBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/LoudniB08,
  author       = {Samir Loudni and
                  Patrice Boizumault},
  title        = {Combining {VNS} with constraint programming for solving anytime optimization
                  problems},
  journal      = {Eur. J. Oper. Res.},
  volume       = {191},
  number       = {3},
  pages        = {705--735},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ejor.2006.12.062},
  doi          = {10.1016/J.EJOR.2006.12.062},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/LoudniB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hm/LevasseurBL08,
  author       = {Nicolas Levasseur and
                  Patrice Boizumault and
                  Samir Loudni},
  editor       = {Maria J. Blesa and
                  Christian Blum and
                  Carlos Cotta and
                  Antonio J. Fern{\'{a}}ndez and
                  Jos{\'{e}} E. Gallardo and
                  Andrea Roli and
                  Michael Sampels},
  title        = {Boosting {VNS} with Neighborhood Heuristics for Solving Constraint
                  Optimization Problems},
  booktitle    = {Hybrid Metaheuristics, 5th International Workshop, {HM} 2008, M{\'{a}}laga,
                  Spain, October 8-9, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5296},
  pages        = {131--145},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88439-2\_10},
  doi          = {10.1007/978-3-540-88439-2\_10},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/hm/LevasseurBL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MetivierBL07,
  author       = {Jean{-}Philippe M{\'{e}}tivier and
                  Patrice Boizumault and
                  Samir Loudni},
  title        = {All Different: Softening AllDifferent in Weighted CSPs},
  booktitle    = {19th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 1},
  pages        = {223--230},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICTAI.2007.82},
  doi          = {10.1109/ICTAI.2007.82},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MetivierBL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LevasseurBL07,
  author       = {Nicolas Levasseur and
                  Patrice Boizumault and
                  Samir Loudni},
  title        = {A Value Ordering Heuristic for Weighted {CSP}},
  booktitle    = {19th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 1},
  pages        = {259--262},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICTAI.2007.45},
  doi          = {10.1109/ICTAI.2007.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/LevasseurBL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/LoudniBD06,
  author       = {Samir Loudni and
                  Patrice Boizumault and
                  Philippe David},
  title        = {On-line resources allocation for {ATM} networks with rerouting},
  journal      = {Comput. Oper. Res.},
  volume       = {33},
  number       = {10},
  pages        = {2891--2917},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.cor.2005.01.016},
  doi          = {10.1016/J.COR.2005.01.016},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cor/LoudniBD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BoizumaultJO03,
  author       = {Patrice Boizumault and
                  Narendra Jussien and
                  Samir Ouis},
  title        = {Explications k-relevantes pour la programmation par contraintes},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {1},
  pages        = {111--124},
  year         = {2003},
  url          = {http://tsi.revuesonline.com/article.jsp?articleId=4650},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/BoizumaultJO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BoizumaultDL03,
  author       = {Patrice Boizumault and
                  Philippe David and
                  Samir Loudni},
  title        = {R{\'{e}}servation en ligne avec reroutage de demandes de connexion
                  dans les r{\'{e}}seaux {ATM}},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {1},
  pages        = {169--182},
  year         = {2003},
  url          = {http://tsi.revuesonline.com/article.jsp?articleId=4653},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/BoizumaultDL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/OuisJB03,
  author       = {Samir Ouis and
                  Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Ingrid Russell and
                  Susan M. Haller},
  title        = {k-relevant Explanations for Constraint Programming},
  booktitle    = {Proceedings of the Sixteenth International Florida Artificial Intelligence
                  Research Society Conference, May 12-14, 2003, St. Augustine, Florida,
                  {USA}},
  pages        = {192--196},
  publisher    = {{AAAI} Press},
  year         = {2003},
  url          = {http://www.aaai.org/Library/FLAIRS/2003/flairs03-038.php},
  timestamp    = {Wed, 26 Oct 2022 08:35:31 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/OuisJB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LoudniB03,
  author       = {Samir Loudni and
                  Patrice Boizumault},
  editor       = {Georg Gottlob and
                  Toby Walsh},
  title        = {Solving Constraint Optimization Problems in Anytime Contexts},
  booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
                  on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages        = {251--256},
  publisher    = {Morgan Kaufmann},
  year         = {2003},
  url          = {http://ijcai.org/Proceedings/03/Papers/037.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LoudniB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/OuisJB03,
  author       = {Samir Ouis and
                  Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Explications k-relevantes pour la programmation par contraintes},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {111--124},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Mon, 24 May 2004 15:53:59 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/OuisJB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/LoudniBD03,
  author       = {Samir Loudni and
                  Patrice Boizumault and
                  Philippe David},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {R{\'{e}}servation en ligne avec reroutage de demandes de connexion
                  dans les r{\'{e}}seaux {ATM}},
  booktitle    = {Journ{\'{e}}es Francophones de Programmation en Logique avec
                  Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages        = {169--182},
  publisher    = {Hermes/Lavoisier},
  year         = {2003},
  timestamp    = {Wed, 24 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/LoudniBD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LauvergneDB02,
  author       = {Muriel Lauvergne and
                  Philippe David and
                  Patrice Boizumault},
  editor       = {Pascal Van Hentenryck},
  title        = {Connections Reservation with Rerouting for {ATM} Networks: {A} Hybrid
                  Approach with Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
                  International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2470},
  pages        = {649--663},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46135-3\_43},
  doi          = {10.1007/3-540-46135-3\_43},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LauvergneDB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/OuisJB02,
  author       = {Samir Ouis and
                  Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Alexandre Tessier},
  title        = {{COINS:} a constraint-based interactive solving system},
  booktitle    = {Proceedings of the 12th International Workshop on Logic Programming
                  Environments, {WLPE} 2002, Copenhagen, Denmark, July 31, 2002},
  pages        = {31--46},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207046},
  timestamp    = {Thu, 09 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/OuisJB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/RidouxB01,
  author       = {Olivier Ridoux and
                  Patrice Boizumault},
  title        = {Typed Static Analysis: Application to the Groundness Analysis of Typed
                  Prolog},
  journal      = {J. Funct. Log. Program.},
  volume       = {2001},
  number       = {4},
  year         = {2001},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/RidouxB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/BoizumaultDD01,
  author       = {Patrice Boizumault and
                  Philippe David and
                  Housni Djellab},
  title        = {Resource allocation in a mobile telephone network: {A} constructive
                  repair algorithm},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {35},
  number       = {2},
  pages        = {189--209},
  year         = {2001},
  url          = {https://doi.org/10.1051/ro:2001111},
  doi          = {10.1051/RO:2001111},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/BoizumaultDD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LoudniB01,
  author       = {Samir Loudni and
                  Patrice Boizumault},
  title        = {A New Hybrid Method for Solving Constraint Optimization Problems in
                  Anytime Contexts},
  booktitle    = {13th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2001, Dallas, Texas, USA, November 7-9, 2001},
  pages        = {325--332},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICTAI.2001.974480},
  doi          = {10.1109/ICTAI.2001.974480},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/LoudniB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JussienDB00,
  author       = {Narendra Jussien and
                  Romuald Debruyne and
                  Patrice Boizumault},
  editor       = {Rina Dechter},
  title        = {Maintaining Arc-Consistency within Dynamic Backtracking},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
                  International Conference, Singapore, September 18-21, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1894},
  pages        = {249--261},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45349-0\_19},
  doi          = {10.1007/3-540-45349-0\_19},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JussienDB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/RidouxBM99,
  author       = {Olivier Ridoux and
                  Patrice Boizumault and
                  Fr{\'{e}}d{\'{e}}ric Mal{\'{e}}sieux},
  editor       = {Aart Middeldorp and
                  Taisuke Sato},
  title        = {Typed Static Analysis: Application to Groundness Analysis of {PROLOG}
                  and lambda-PROLOG},
  booktitle    = {Functional and Logic Programming, 4th Fuji International Symposium,
                  FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1722},
  pages        = {267--283},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10705424\_18},
  doi          = {10.1007/10705424\_18},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/RidouxBM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/MalesieuxRB99,
  author       = {Fr{\'{e}}d{\'{e}}ric Mal{\'{e}}sieux and
                  Olivier Ridoux and
                  Patrice Boizumault},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Analyse statique typ{\'{e}}e: application {\`{a}} l'analyse de
                  cl{\^{o}}tures de lambda-Prolog},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {55--72},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 12:53:17 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MalesieuxRB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MalesiuexRB98,
  author       = {Fr{\'{e}}d{\'{e}}ric Mal{\'{e}}sieux and
                  Olivier Ridoux and
                  Patrice Boizumault},
  editor       = {Joxan Jaffar},
  title        = {Abstract Compilation of lambda-Prolog},
  booktitle    = {Proceedings of the 1998 Joint International Conference and Symposium
                  on Logic Programming, Manchester, UK, June 15-19, 1998},
  pages        = {130--144},
  publisher    = {{MIT} Press},
  year         = {1998},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MalesiuexRB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/MalesieuxRB98,
  author       = {Fr{\'{e}}d{\'{e}}ric Mal{\'{e}}sieux and
                  Olivier Ridoux and
                  Patrice Boizumault},
  editor       = {Olivier Ridoux},
  title        = {Compilation abstraite de LambdaProlog},
  booktitle    = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
                  France},
  pages        = {287},
  publisher    = {Hermes},
  year         = {1998},
  timestamp    = {Thu, 27 May 2004 08:16:09 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/MalesieuxRB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/JussienB97,
  author       = {Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Strat{\'{e}}gies en meilleur d'abord pour la relaxation de contraintes},
  booktitle    = {JFPLC'97, Sixi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 26-28 mai 1997, Orl{\'{e}}ans,
                  France},
  pages        = {149},
  publisher    = {Hermes},
  year         = {1997},
  timestamp    = {Thu, 27 May 2004 08:38:46 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JussienB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/JussienB97,
  author       = {Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Jan Maluszynski},
  title        = {Best-First Search for Property Maintenance in Reactive Constraint
                  Systems},
  booktitle    = {Logic Programming, Proceedings of the 1997 International Symposium,
                  Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
  pages        = {339--353},
  publisher    = {{MIT} Press},
  year         = {1997},
  timestamp    = {Fri, 10 Jul 2015 12:20:33 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/JussienB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BoizumaultDP96,
  author       = {Patrice Boizumault and
                  Yan Delon and
                  Laurent P{\'{e}}ridy},
  title        = {Constraint Logic Programming for Examination Timetabling},
  journal      = {J. Log. Program.},
  volume       = {26},
  number       = {2},
  pages        = {217--233},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(95)00100-X},
  doi          = {10.1016/0743-1066(95)00100-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BoizumaultDP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/JussienB96,
  author       = {Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Jean{-}Louis Imbert},
  title        = {Maintien de d{\'{e}}duction pour la relaxation de contraintes},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {239--254},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 08:56:54 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/JussienB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BoizumaultDP95,
  author       = {Patrice Boizumault and
                  Yan Delon and
                  Laurent P{\'{e}}ridy},
  editor       = {Manfred Meyer},
  title        = {A {CLP} Approach for Examination Planning},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {85--101},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_20},
  doi          = {10.1007/3-540-59479-5\_20},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BoizumaultDP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JussienB95,
  author       = {Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Implementing Constraint Relaxation over Finite Domains Using Assumption-Based
                  Truth Maintenance Systems},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {265--280},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_28},
  doi          = {10.1007/3-540-61479-6\_28},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JussienB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patat/GueretJBP95,
  author       = {Christelle Gu{\'{e}}ret and
                  Narendra Jussien and
                  Patrice Boizumault and
                  Christian Prins},
  editor       = {Edmund K. Burke and
                  Peter Ross},
  title        = {Building University Timetables Using Constraint Logic Programming},
  booktitle    = {Practice and Theory of Automated Timetabling, First International
                  Conference, Edinburgh, UK, August 29 - September 1, 1995, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1153},
  pages        = {130--145},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61794-9\_56},
  doi          = {10.1007/3-540-61794-9\_56},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/patat/GueretJBP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoizumaultDP93,
  author       = {Patrice Boizumault and
                  Yan Delon and
                  Laurent P{\'{e}}ridy},
  editor       = {Dale Miller},
  title        = {Solving a real life exams problem using {CHIP}},
  booktitle    = {Logic Programming, Proceedings of the 1993 International Symposium,
                  Vancouver, British Columbia, Canada, October 26-29, 1993},
  pages        = {661},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/BoizumaultDP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Boizumault86,
  author       = {Patrice Boizumault},
  editor       = {Bernard J. Robinet and
                  Reinhard Wilhelm},
  title        = {A Classical Implementation for Prolog-II},
  booktitle    = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken,
                  Federal Republic of Germany, March 17-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {213},
  pages        = {262--273},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16442-1\_20},
  doi          = {10.1007/3-540-16442-1\_20},
  timestamp    = {Thu, 24 Feb 2022 13:41:39 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/Boizumault86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Boizumault86,
  author       = {Patrice Boizumault},
  editor       = {Ehud Shapiro},
  title        = {A General Model to Implement {DIF} and {FREEZE}},
  booktitle    = {Third International Conference on Logic Programming, Imperial College
                  of Science and Technology, London, United Kingdom, July 14-18, 1986,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {225},
  pages        = {585--592},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16492-8\_107},
  doi          = {10.1007/3-540-16492-8\_107},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Boizumault86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Boizumault84,
  author       = {Patrice Boizumault},
  editor       = {Mehmet Dincbas},
  title        = {Un mod{\`{e}}le de trace pour {PROLOG}},
  booktitle    = {SPLT'84, S{\'{e}}minaire Programmation en Logique, 25-27 avril
                  1984, Plestin-les-Gr{\`{e}}ves, France},
  year         = {1984},
  timestamp    = {Mon, 06 Sep 2004 15:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Boizumault84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Boizumault83,
  author       = {Patrice Boizumault},
  editor       = {Mehmet Dincbas},
  title        = {Sur la transformation de l'appel terminal en it{\'{e}}ration
                  dans un interpr{\`{e}}te {PROLOG}},
  booktitle    = {SPLT'83, S{\'{e}}minaire Programmation en Logique, 22-23 mars
                  1983, Perros-Guirec, France},
  year         = {1983},
  timestamp    = {Mon, 06 Sep 2004 15:14:20 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Boizumault83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics