Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Patrice
    Last name: Boizumault
    DBLP: 29/2067
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 73 of 73  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois.
    Prefix-projection global constraint and top-k approach for sequential pattern mining.
    Constraints 2017, Volume 22 (0) 2017
    Conference paper
    Willy Ugarte, Patrice Boizumault, Bruno Crémilleux, Alban Lepailleur, Samir Loudni, Marc Plantevit, Chedy Raïssi, Arnaud Soulet.
    Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems.
    Artif. Intell. 2017, Volume 244 (0) 2017
    Conference paper
    Abdelkader Ouali, Albrecht Zimmermann, Samir Loudni, Yahia Lebbah, Bruno Crémilleux, Patrice Boizumault, Lakhdar Loukil.
    Integer Linear Programming for Pattern Set Mining; with an Application to Tiling.
    Advances in Knowledge Discovery and Data Mining - 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings, Part II 2017 (0) 2017
    Conference paper
    Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois.
    A Global Constraint for Mining Sequential Patterns with GAP Constraint.
    Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann, Lakhdar Loukil.
    Efficiently Finding Conceptual Clustering Models with Integer Linear Programming.
    Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 2016 (0) 2016
    Journal article
    David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu.
    Tractability-preserving transformations of global cost functions.
    Artif. Intell. 2016, Volume 238 (0) 2016
    Conference paper
    Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois.
    Une contrainte globale pour l'extraction de motifs séquentiels.
    Revue d'Intelligence Artificielle 2016, Volume 30 (0) 2016
    Conference paper
    Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessière, Patrice Boizumault.
    A Global Constraint for Closed Frequent Pattern Mining.
    Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings 2016 (0) 2016
    Journal article
    David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu.
    Tractability and Decompositions of Global Cost Functions.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur.
    Soft constraints for pattern mining.
    J. Intell. Inf. Syst. 2015, Volume 44 (0) 2015
    Journal article
    Abdelkader Ouali, Samir Loudni, Lakhdar Loukil, Patrice Boizumault, Yahia Lebbah.
    Replicated Parallel Strategies for Decomposition Guided VNS.
    Electronic Notes in Discrete Mathematics 2015, Volume 47 (0) 2015
    Journal article
    Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois.
    Prefix-Projection Global Constraint for Sequential Pattern Mining.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois.
    PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining.
    Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois.
    A global Constraint for mining Sequential Patterns with GAP constraint.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux.
    Modeling and Mining Optimal Patterns Using Dynamic CSP.
    27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015 2015 (0) 2015
    Conference paper
    Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur.
    Mining (Soft-) Skypatterns Using Dynamic CSP.
    Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Abdelkader Ouali, Samir Loudni, Lakhdar Loukil, Patrice Boizumault, Yahia Lebbah.
    Cooperative Parallel Decomposition Guided VNS for Solving Weighted CSP.
    Hybrid Metaheuristics - 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux.
    Computing Skypattern Cubes.
    ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) 2014 (0) 2014
    Conference paper
    Amina Kemmar, Willy Ugarte, Samir Loudni, Thierry Charnois, Yahia Lebbah, Patrice Boizumault, Bruno Crémilleux.
    Mining Relevant Sequence Patterns with CP-Based Framework.
    26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014 2014 (0) 2014
    Conference paper
    Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux.
    Computing Skypattern Cubes Using Relaxation.
    26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014 2014 (0) 2014
    Conference paper
    Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur.
    Découverte des soft-skypatterns avec une approche PPC.
    Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier - 01 février 2013, Toulouse, France 2013 (0) 2013
    Conference paper
    Samir Loudni, Mathieu Fontaine, Patrice Boizumault.
    Intensification/Diversification in Decomposition Guided VNS.
    Hybrid Metaheuristics - 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Mathieu Fontaine, Samir Loudni, Patrice Boizumault.
    Exploiting Tree Decomposition for Guiding Neighborhoods Exploration for VNS.
    RAIRO - Operations Research 2013, Volume 47 (0) 2013
    Conference paper
    Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni.
    A constraint language for declarative pattern discovery.
    Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012 2012 (0) 2012
    Conference paper
    Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni.
    Constrained Clustering Using SAT.
    Advances in Intelligent Data Analysis XI - 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux.
    Soft Threshold Constraints for Pattern Mining.
    Discovery Science - 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012. Proceedings 2012 (0) 2012
    Journal article
    Samir Loudni, Mathieu Fontaine, Patrice Boizumault.
    Exploiting Separators for Guiding VNS.
    Electronic Notes in Discrete Mathematics 2012, Volume 39 (0) 2012
    Conference paper
    David Allouche, Christian Bessière, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex.
    Filtering Decomposable Global Cost Functions.
    Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. 2012 (0) 2012
    Conference paper
    Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux.
    A Generic Approach for Modeling and Mining n-ary Patterns.
    Foundations of Intelligent Systems - 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings 2011 (0) 2011
    Journal article
    Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni, Jean-Philippe Métivier.
    Discovering Knowledge using a Constraint-based Language
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Mathieu Fontaine, Samir Loudni, Patrice Boizumault.
    Guiding VNS with Tree Decomposition.
    IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011 2011 (0) 2011
    Conference paper
    Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni.
    A Constraint-Based Language for Declarative Pattern Discovery.
    Data Mining Workshops (ICDMW), 2011 IEEE 11th International Conference on, Vancouver, BC, Canada, December 11, 2011 2011 (0) 2011
    Conference paper
    Samir Loudni, Patrice Boizumault, Nicolas Levasseur.
    Advanced generic neighborhood heuristics for VNS.
    Eng. Appl. of AI 2010, Volume 23 (0) 2010
    Conference paper
    Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux.
    Constraint Programming for Mining n-ary Patterns.
    Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux.
    Combining Constraint Programming and Constraint-Based Mining for Pattern Discovery.
    Advances in Knowledge Discovery and Management - Volume 2 [Best of EGC 2010, Hammamet, Tunisie] 2012 (0) 2010
    Conference paper
    Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux.
    Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires.
    Extraction et gestion des connaissances (EGC'2010), Actes, 26 au 29 janvier 2010, Hammamet, Tunisie 2010 (0) 2010
    Conference paper
    Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux.
    Combining CSP and Constraint-Based Mining for Pattern Discovery.
    Computational Science and Its Applications - ICCSA 2010, International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II 2010 (0) 2010
    Conference paper
    Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni.
    Solving Nurse Rostering Problems Using Soft Global Constraints.
    Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni.
    Softening Gcc and Regular with preferences.
    Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009 2009 (0) 2009
    Conference paper
    Nicolas Levasseur, Patrice Boizumault, Samir Loudni.
    Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems.
    Hybrid Metaheuristics, 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Samir Loudni, Patrice Boizumault.
    Combining VNS with constraint programming for solving anytime optimization problems.
    European Journal of Operational Research 2008, Volume 191 (0) 2008
    Conference paper
    Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni.
    All Different: Softening AllDifferent in Weighted CSPs.
    19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1 2007 (0) 2007
    Conference paper
    Nicolas Levasseur, Patrice Boizumault, Samir Loudni.
    A Value Ordering Heuristic for Weighted CSP.
    19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1 2007 (0) 2007
    Conference paper
    Samir Loudni, Patrice Boizumault, Philippe David.
    On-line resources allocation for ATM networks with rerouting.
    Computers OR 2006, Volume 33 (0) 2006
    Conference paper
    Samir Ouis, Narendra Jussien, Patrice Boizumault.
    k-relevant Explanations for Constraint Programming.
    Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA 2003 (0) 2003
    Conference paper
    Samir Loudni, Patrice Boizumault.
    Solving Constraint Optimization Problems in Anytime Contexts.
    IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 2003 (0) 2003
    Conference paper
    Samir Loudni, Patrice Boizumault, Philippe David.
    Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM.
    Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 2003 (0) 2003
    Conference paper
    Samir Ouis, Narendra Jussien, Patrice Boizumault.
    Explications k-relevantes pour la programmation par contraintes.
    Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 2003 (0) 2003
    Conference paper
    Patrice Boizumault, Philippe David, Samir Loudni.
    Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM.
    Technique et Science Informatiques 2003, Volume 22 (0) 2003
    Conference paper
    Patrice Boizumault, Narendra Jussien, Samir Ouis.
    Explications k-relevantes pour la programmation par contraintes.
    Technique et Science Informatiques 2003, Volume 22 (0) 2003
    Conference paper
    Muriel Lauvergne, Philippe David, Patrice Boizumault.
    Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints.
    Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Samir Ouis, Narendra Jussien, Patrice Boizumault.
    COINS: a constraint-based interactive solving system.
    WLPE 2002 (0) 2002
    Conference paper
    Samir Ouis, Narendra Jussien, Patrice Boizumault.
    COINS: a constraint-based interactive solving system
    CoRR 2002, Volume 0 (0) 2002
    Journal article
    Patrice Boizumault, Philippe David, Housni Djellab.
    Resource allocation in a mobile telephone network: A constructive repair algorithm.
    RAIRO - Operations Research 2001, Volume 35 (0) 2001
    Conference paper
    Samir Loudni, Patrice Boizumault.
    A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts.
    ICTAI 2001 (0) 2001
    Conference paper
    Olivier Ridoux, Patrice Boizumault.
    Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog.
    Journal of Functional and Logic Programming 2001, Volume 2001 (0) 2001
    Conference paper
    Narendra Jussien, Romuald Debruyne, Patrice Boizumault.
    Maintaining Arc-Consistency within Dynamic Backtracking.
    Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux.
    Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.
    Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault.
    Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.
    JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France 1999 (0) 1999
    Conference paper
    Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault.
    Abstract Compilation of lambda-Prolog.
    IJCSLP 1998 (0) 1998
    Conference paper
    Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault.
    Compilation abstraite de LambdaProlog.
    JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France 1998 (0) 1998
    Conference paper
    Narendra Jussien, Patrice Boizumault.
    Stratégies en meilleur d'abord pour la relaxation de contraintes.
    JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France 1997 (0) 1997
    Conference paper
    Narendra Jussien, Patrice Boizumault.
    Best-First Search for Property Maintenance in Reactive Constraint Systems.
    ILPS 1997 (0) 1997
    Conference paper
    Narendra Jussien, Patrice Boizumault.
    Maintien de déduction pour la relaxation de contraintes.
    JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France 1996 (0) 1996
    Conference paper
    Patrice Boizumault, Yan Delon, Laurent Péridy.
    Constraint Logic Programming for Examination Timetabling.
    J. Log. Program. 1996, Volume 26 (0) 1996
    Conference paper
    Patrice Boizumault, Yan Delon, Laurent Péridy.
    A CLP Approach for Examination Planning.
    Constraint Processing, Selected Papers 1995 (0) 1995
    Conference paper
    Narendra Jussien, Patrice Boizumault.
    Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems.
    Over-Constrained Systems 1996 (0) 1995
    Conference paper
    Christelle Guéret, Narendra Jussien, Patrice Boizumault, Christian Prins.
    Building University Timetables Using Constraint Logic Programming.
    Practice and Theory of Automated Timetabling, First International Conference, Edinburgh, U.K., August 29 - September 1, 1995, Selected Papers 1996 (0) 1995
    Conference paper
    Patrice Boizumault, Yan Delon, Laurent Péridy.
    Solving a real life exams problem using CHIP.
    ILPS 1993 (0) 1993
    Conference paper
    Patrice Boizumault.
    A Classical Implementation for Prolog-II.
    ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings 1986 (0) 1986
    Conference paper
    Patrice Boizumault.
    A General Model to Implement DIF and FREEZE.
    Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings 1986 (0) 1986
    Conference paper
    Patrice Boizumault.
    Un modèle de trace pour PROLOG.
    SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France 1984 (0) 1984
    Conference paper
    Patrice Boizumault.
    Sur la transformation de l'appel terminal en itération dans un interprète PROLOG.
    SPLT'83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France 1983 (0) 1983
    Show item 1 to 73 of 73  

    Your query returned 73 matches in the database.