Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Patrice Boizumault
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.