Patrice Boizumault

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 12

Top Topics

Constraint Satisfaction Problems

Constraint Programming

Top Venues

Publications

Djawad Bekkoucha, Abdelkader Ouali, Patrice Boizumault, Bruno Crémilleux
Efficiently Mining Closed Interval Patterns with Constraint Programming. CPAIOR (1) (2024)
Maksim Koptelov, Albrecht Zimmermann, Patrice Boizumault, Ronan Bureau, Jean Luc Lamotte
Explanations for Itemset Mining by Constraint Programming: A Case Study Using ChEMBL Data. IDA (2023)
Abdelkader Ouali, David Allouche, Simon de Givry, Samir Loudni, Yahia Lebbah, Lakhdar Loukil, Patrice Boizumault
Variable neighborhood search for graphical model energy minimization. Artif. Intell. 278 (2020)
Willy Ugarte, Samir Loudni, Patrice Boizumault, Bruno Crémilleux, Alexandre Termier
Compressing and Querying Skypattern Cubes. IEA/AIE (2019)
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. PAKDD (2) (2017)
Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois
Prefix-projection global constraint and top-k approach for sequential pattern mining. Constraints An Int. J. 22 (2) (2017)
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. 244 (2017)
Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois
Une contrainte globale pour l'extraction de motifs séquentiels. Rev. d'Intelligence Artif. 30 (6) (2016)
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
Tractability-preserving transformations of global cost functions. Artif. Intell. 238 (2016)
Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
A Global Constraint for Mining Sequential Patterns with GAP Constraint. CPAIOR (2016)
Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault
A Global Constraint for Closed Frequent Pattern Mining. CP (2016)
Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann, Lakhdar Loukil
Efficiently Finding Conceptual Clustering Models with Integer Linear Programming. IJCAI (2016)
Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining. CP (2015)
Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux
Modeling and Mining Optimal Patterns Using Dynamic CSP. ICTAI (2015)
Abdelkader Ouali, Samir Loudni, Lakhdar Loukil, Patrice Boizumault, Yahia Lebbah
Replicated Parallel Strategies for Decomposition Guided VNS. Electron. Notes Discret. Math. 47 (2015)
Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
A global Constraint for mining Sequential Patterns with GAP constraint. CoRR (2015)
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
Tractability and Decompositions of Global Cost Functions. CoRR (2015)
Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur
Soft constraints for pattern mining. J. Intell. Inf. Syst. 44 (2) (2015)
Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
Prefix-Projection Global Constraint for Sequential Pattern Mining. CoRR (2015)
Amina Kemmar, Willy Ugarte, Samir Loudni, Thierry Charnois, Yahia Lebbah, Patrice Boizumault, Bruno Crémilleux
Mining Relevant Sequence Patterns with CP-Based Framework. ICTAI (2014)
Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux
Computing Skypattern Cubes. ECAI (2014)
Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux
Computing Skypattern Cubes Using Relaxation. ICTAI (2014)
Abdelkader Ouali, Samir Loudni, Lakhdar Loukil, Patrice Boizumault, Yahia Lebbah
Cooperative Parallel Decomposition Guided VNS for Solving Weighted CSP. Hybrid Metaheuristics (2014)
Willy Ugarte Rojas, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur
Mining (Soft-) Skypatterns Using Dynamic CSP. CPAIOR (2014)
Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur
Mining (Soft-) Skypatterns Using Constraint Programming. EGC (best of volume) (2013)
Samir Loudni, Mathieu Fontaine, Patrice Boizumault
Intensification/Diversification in Decomposition Guided VNS. Hybrid Metaheuristics (2013)
Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur
Découverte des soft-skypatterns avec une approche PPC. EGC (2013)
Mathieu Fontaine, Samir Loudni, Patrice Boizumault
Exploiting Tree Decomposition for Guiding Neighborhoods Exploration for VNS. RAIRO Oper. Res. 47 (2) (2013)
Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux
Soft Threshold Constraints for Pattern Mining. Discovery Science (2012)
Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni
A constraint language for declarative pattern discovery. SAC (2012)
David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex
Filtering Decomposable Global Cost Functions. AAAI (2012)
Samir Loudni, Mathieu Fontaine, Patrice Boizumault
Exploiting Separators for Guiding VNS. Electron. Notes Discret. Math. 39 (2012)
Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni
Constrained Clustering Using SAT. IDA (2012)
Jean-Philippe Métivier, Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni
A Constraint-Based Language for Declarative Pattern Discovery. ICDM Workshops (2011)
Mathieu Fontaine, Samir Loudni, Patrice Boizumault
Guiding VNS with Tree Decomposition. ICTAI (2011)
Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux
A Generic Approach for Modeling and Mining n-ary Patterns. ISMIS (2011)
Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni, Jean-Philippe Métivier
Discovering Knowledge using a Constraint-based Language CoRR (2011)
Samir Loudni, Patrice Boizumault, Nicolas Levasseur
Advanced generic neighborhood heuristics for VNS. Eng. Appl. Artif. Intell. 23 (5) (2010)
Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux
Combining CSP and Constraint-Based Mining for Pattern Discovery. ICCSA (2) (2010)
Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux
Combining Constraint Programming and Constraint-Based Mining for Pattern Discovery. EGC (best of volume) (2010)
Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux
Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires. EGC (2010)
Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux
Constraint Programming for Mining n-ary Patterns. CP (2010)
Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni
Softening Gcc and Regular with preferences. SAC (2009)
Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni
Solving Nurse Rostering Problems Using Soft Global Constraints. CP (2009)
Nicolas Levasseur, Patrice Boizumault, Samir Loudni
Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems. Hybrid Metaheuristics (2008)
Samir Loudni, Patrice Boizumault
Combining VNS with constraint programming for solving anytime optimization problems. Eur. J. Oper. Res. 191 (3) (2008)
Nicolas Levasseur, Patrice Boizumault, Samir Loudni
A Value Ordering Heuristic for Weighted CSP. ICTAI (1) (2007)
Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni
All Different: Softening AllDifferent in Weighted CSPs. ICTAI (1) (2007)
Samir Loudni, Patrice Boizumault, Philippe David
On-line resources allocation for ATM networks with rerouting. Comput. Oper. Res. 33 (10) (2006)
Patrice Boizumault, Philippe David, Samir Loudni
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. Tech. Sci. Informatiques 22 (1) (2003)
Patrice Boizumault, Narendra Jussien, Samir Ouis
Explications k-relevantes pour la programmation par contraintes. Tech. Sci. Informatiques 22 (1) (2003)
Samir Ouis, Narendra Jussien, Patrice Boizumault
Explications k-relevantes pour la programmation par contraintes. JFPLC (2003)
Samir Loudni, Patrice Boizumault, Philippe David
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. JFPLC (2003)
Samir Loudni, Patrice Boizumault
Solving Constraint Optimization Problems in Anytime Contexts. IJCAI (2003)
Samir Ouis, Narendra Jussien, Patrice Boizumault
k-relevant Explanations for Constraint Programming. FLAIRS Conference (2003)
Muriel Lauvergne, Philippe David, Patrice Boizumault
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints. CP (2002)
Samir Ouis, Narendra Jussien, Patrice Boizumault
COINS: a constraint-based interactive solving system. WLPE (2002)
Patrice Boizumault, Philippe David, Housni Djellab
Resource allocation in a mobile telephone network: A constructive repair algorithm. RAIRO Oper. Res. 35 (2) (2001)
Olivier Ridoux, Patrice Boizumault
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. J. Funct. Log. Program. 2001 (4) (2001)
Samir Loudni, Patrice Boizumault
A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts. ICTAI (2001)
Narendra Jussien, Romuald Debruyne, Patrice Boizumault
Maintaining Arc-Consistency within Dynamic Backtracking. CP (2000)
Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. JFPLC (1999)
Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. Fuji International Symposium on Functional and Logic Programming (1999)
Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Compilation abstraite de LambdaProlog. JFPLC (1998)
Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Abstract Compilation of lambda-Prolog. IJCSLP (1998)
Narendra Jussien, Patrice Boizumault
Stratégies en meilleur d'abord pour la relaxation de contraintes. JFPLC (1997)
Narendra Jussien, Patrice Boizumault
Best-First Search for Property Maintenance in Reactive Constraint Systems. ILPS (1997)
Patrice Boizumault, Yan Delon, Laurent Péridy
Constraint Logic Programming for Examination Timetabling. J. Log. Program. 26 (2) (1996)
Narendra Jussien, Patrice Boizumault
Maintien de déduction pour la relaxation de contraintes. JFPLC (1996)
Christelle Guéret, Narendra Jussien, Patrice Boizumault, Christian Prins
Building University Timetables Using Constraint Logic Programming. PATAT (1995)
Patrice Boizumault, Yan Delon, Laurent Péridy
A CLP Approach for Examination Planning. Constraint Processing, Selected Papers (1995)
Narendra Jussien, Patrice Boizumault
Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems. Over-Constrained Systems (1995)
Patrice Boizumault, Yan Delon, Laurent Péridy
Solving a real life exams problem using CHIP. ILPS (1993)
Patrice Boizumault
A General Model to Implement DIF and FREEZE. ICLP (1986)
Patrice Boizumault
A Classical Implementation for Prolog-II. ESOP (1986)
Patrice Boizumault
Un modèle de trace pour PROLOG. SPLT (1984)
Patrice Boizumault
Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. SPLT (1983)