Patrice Boizumault

According to our database, Patrice Boizumault authored at least 73 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficiently Mining Closed Interval Patterns with Constraint Programming.

Djawad Bekkoucha, Abdelkader Ouali, Patrice Boizumault, Bruno Crémilleux

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023

Explanations for Itemset Mining by Constraint Programming: A Case Study Using ChEMBL Data.

Maksim Koptelov, Albrecht Zimmermann, Patrice Boizumault, Ronan Bureau, Jean Luc Lamotte

Proceedings of the Advances in Intelligent Data Analysis XXI, 2023

2020

Variable neighborhood search for graphical model energy minimization.

Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Lakhdar Loukil, Patrice Boizumault

Artif. Intell., 2020

2019

Compressing and Querying Skypattern Cubes.

Willy Ugarte, Samir Loudni, Patrice Boizumault, Bruno Crémilleux, Alexandre Termier

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

2017

Prefix-projection global constraint and top-k approach for sequential pattern mining.

Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois

Constraints An Int. J., 2017

Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems.

Willy Ugarte, Patrice Boizumault, Bruno Crémilleux, Alban Lepailleur, Samir Loudni, Marc Plantevit, Chedy Raïssi, Arnaud Soulet

Artif. Intell., 2017

Integer Linear Programming for Pattern Set Mining; with an Application to Tiling.

Abdelkader Ouali, Albrecht Zimmermann, Samir Loudni, Yahia Lebbah, Bruno Crémilleux, Patrice Boizumault, Lakhdar Loukil

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

2016

Une contrainte globale pour l'extraction de motifs séquentiels.

Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois

Rev. d'Intelligence Artif., 2016

Tractability-preserving transformations of global cost functions.

David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu

Artif. Intell., 2016

Efficiently Finding Conceptual Clustering Models with Integer Linear Programming.

Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann, Lakhdar Loukil

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Global Constraint for Mining Sequential Patterns with GAP Constraint.

Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

A Global Constraint for Closed Frequent Pattern Mining.

Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Soft constraints for pattern mining.

Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur

J. Intell. Inf. Syst., 2015

Replicated Parallel Strategies for Decomposition Guided VNS.

Abdelkader Ouali, Samir Loudni, Lakhdar Loukil, Patrice Boizumault, Yahia Lebbah

Electron. Notes Discret. Math., 2015

Tractability and Decompositions of Global Cost Functions.

David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu

CoRR, 2015

Modeling and Mining Optimal Patterns Using Dynamic CSP.

Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining.

Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Computing Skypattern Cubes Using Relaxation.

Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Mining Relevant Sequence Patterns with CP-Based Framework.

Amina Kemmar, Willy Ugarte, Samir Loudni, Thierry Charnois, Yahia Lebbah, Patrice Boizumault, Bruno Crémilleux

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Cooperative Parallel Decomposition Guided VNS for Solving Weighted CSP.

Abdelkader Ouali, Samir Loudni, Lakhdar Loukil, Patrice Boizumault, Yahia Lebbah

Proceedings of the Hybrid Metaheuristics - 9th International Workshop, HM 2014, 2014

Computing Skypattern Cubes.

Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Mining (Soft-) Skypatterns Using Dynamic CSP.

Willy Ugarte Rojas, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2013

Exploiting Tree Decomposition for Guiding Neighborhoods Exploration for VNS.

Mathieu Fontaine, Samir Loudni, Patrice Boizumault

RAIRO Oper. Res., 2013

Intensification/Diversification in Decomposition Guided VNS.

Samir Loudni, Mathieu Fontaine, Patrice Boizumault

Proceedings of the Hybrid Metaheuristics - 8th International Workshop, 2013

Mining (Soft-) Skypatterns Using Constraint Programming.

Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur

Proceedings of the Advances in Knowledge Discovery and Management, 2013

Découverte des soft-skypatterns avec une approche PPC.

Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur

Proceedings of the Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier, 2013

2012

Exploiting Separators for Guiding VNS.

Samir Loudni, Mathieu Fontaine, Patrice Boizumault

Electron. Notes Discret. Math., 2012

A constraint language for declarative pattern discovery.

Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni

Proceedings of the ACM Symposium on Applied Computing, 2012

Constrained Clustering Using SAT.

Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni

Proceedings of the Advances in Intelligent Data Analysis XI - 11th International Symposium, 2012

Soft Threshold Constraints for Pattern Mining.

Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux

Proceedings of the Discovery Science - 15th International Conference, 2012

Filtering Decomposable Global Cost Functions.

David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Discovering Knowledge using a Constraint-based Language

Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni, Jean-Philippe Métivier

CoRR, 2011

A Generic Approach for Modeling and Mining n-ary Patterns.

Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux

Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

Guiding VNS with Tree Decomposition.

Mathieu Fontaine, Samir Loudni, Patrice Boizumault

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

A Constraint-Based Language for Declarative Pattern Discovery.

Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni

Proceedings of the Data Mining Workshops (ICDMW), 2011

2010

Advanced generic neighborhood heuristics for VNS.

Samir Loudni, Patrice Boizumault, Nicolas Levasseur

Eng. Appl. Artif. Intell., 2010

Combining CSP and Constraint-Based Mining for Pattern Discovery.

Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux

Proceedings of the Computational Science and Its Applications, 2010

Combining Constraint Programming and Constraint-Based Mining for Pattern Discovery.

Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux

Proceedings of the Advances in Knowledge Discovery and Management, 2010

Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires.

Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux

Proceedings of the Extraction et gestion des connaissances (EGC'2010), 2010

Constraint Programming for Mining n-ary Patterns.

Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Softening Gcc and Regular with preferences.

Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Solving Nurse Rostering Problems Using Soft Global Constraints.

Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Combining VNS with constraint programming for solving anytime optimization problems.

Samir Loudni, Patrice Boizumault

Eur. J. Oper. Res., 2008

Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems.

Nicolas Levasseur, Patrice Boizumault, Samir Loudni

Proceedings of the Hybrid Metaheuristics, 5th International Workshop, 2008

2007

All Different: Softening AllDifferent in Weighted CSPs.

Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni

Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

A Value Ordering Heuristic for Weighted CSP.

Nicolas Levasseur, Patrice Boizumault, Samir Loudni

Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

2006

On-line resources allocation for ATM networks with rerouting.

Samir Loudni, Patrice Boizumault, Philippe David

Comput. Oper. Res., 2006

2003

Explications k-relevantes pour la programmation par contraintes.

Patrice Boizumault, Narendra Jussien, Samir Ouis

Tech. Sci. Informatiques, 2003

Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM.

Patrice Boizumault, Philippe David, Samir Loudni

Tech. Sci. Informatiques, 2003

Solving Constraint Optimization Problems in Anytime Contexts.

Samir Loudni, Patrice Boizumault

Proceedings of the IJCAI-03, 2003

k-relevant Explanations for Constraint Programming.

Samir Ouis, Narendra Jussien, Patrice Boizumault

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

COINS: a constraint-based interactive solving system.

Samir Ouis, Narendra Jussien, Patrice Boizumault

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints.

Muriel Lauvergne, Philippe David, Patrice Boizumault

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Resource allocation in a mobile telephone network: A constructive repair algorithm.

Patrice Boizumault, Philippe David, Housni Djellab

RAIRO Oper. Res., 2001

Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog.

Olivier Ridoux, Patrice Boizumault

J. Funct. Log. Program., 2001

A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts.

Samir Loudni, Patrice Boizumault

Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001

2000

Maintaining Arc-Consistency within Dynamic Backtracking.

Narendra Jussien, Romuald Debruyne, Patrice Boizumault

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.

Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault

Proceedings of the JFPLC'99, 1999

Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.

Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Compilation abstraite de LambdaProlog.

Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault

Proceedings of the JFPLC'98, 1998

Abstract Compilation of lambda-Prolog.

Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997

Best-First Search for Property Maintenance in Reactive Constraint Systems.

Narendra Jussien, Patrice Boizumault

Proceedings of the Logic Programming, 1997

Stratégies en meilleur d'abord pour la relaxation de contraintes.

Narendra Jussien, Patrice Boizumault

Proceedings of the JFPLC'97, 1997

1996

Constraint Logic Programming for Examination Timetabling.

Patrice Boizumault, Yan Delon, Laurent Péridy

J. Log. Program., 1996

Maintien de déduction pour la relaxation de contraintes.

Narendra Jussien, Patrice Boizumault

Proceedings of the JFPLC'96, 1996

1995

Building University Timetables Using Constraint Logic Programming.

Christelle Guéret, Narendra Jussien, Patrice Boizumault, Christian Prins

Proceedings of the Practice and Theory of Automated Timetabling, First International Conference, Edinburgh, UK, August 29, 1995

Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems.

Narendra Jussien, Patrice Boizumault

Proceedings of the Over-Constrained Systems, 1995

A CLP Approach for Examination Planning.

Patrice Boizumault, Yan Delon, Laurent Péridy

Proceedings of the Constraint Processing, Selected Papers, 1995

1993

Solving a real life exams problem using CHIP.

Patrice Boizumault, Yan Delon, Laurent Péridy

Proceedings of the Logic Programming, 1993

1986

A General Model to Implement DIF and FREEZE.

Patrice Boizumault

Proceedings of the Third International Conference on Logic Programming, 1986

A Classical Implementation for Prolog-II.

Patrice Boizumault

Proceedings of the ESOP 86, 1986

1984

Un modèle de trace pour PROLOG.

Patrice Boizumault

Proceedings of the SPLT'84, 1984

1983

Sur la transformation de l'appel terminal en itération dans un interprète PROLOG.

Patrice Boizumault

Proceedings of the SPLT'83, 1983