Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. - Patrice Boizumault (SPLT, 1983)

Un modèle de trace pour PROLOG. - Patrice Boizumault (SPLT, 1984)

A Classical Implementation for Prolog-II. - Patrice Boizumault (ESOP, 1986)

A General Model to Implement DIF and FREEZE. - Patrice Boizumault (ICLP, 1986)

Solving a real life exams problem using CHIP. - Patrice Boizumault; Yan Delon; Laurent Péridy (ILPS, 1993)

A CLP Approach for Examination Planning. - Patrice Boizumault; Yan Delon; Laurent Péridy (Constraint Processing, Selected Papers, 1995)

Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems. - Narendra Jussien; Patrice Boizumault (Over-Constrained Systems, 1995)

Building University Timetables Using Constraint Logic Programming. - Christelle Guéret; Narendra Jussien; Patrice Boizumault; Christian Prins (PATAT, 1995)

Maintien de déduction pour la relaxation de contraintes. - Narendra Jussien; Patrice Boizumault (JFPLC, 1996)

Constraint Logic Programming for Examination Timetabling. - Patrice Boizumault; Yan Delon; Laurent Péridy (J. Log. Program., 1996)

Stratégies en meilleur d'abord pour la relaxation de contraintes. - Narendra Jussien; Patrice Boizumault (JFPLC, 1997)

Best-First Search for Property Maintenance in Reactive Constraint Systems. - Narendra Jussien; Patrice Boizumault (ILPS, 1997)

Abstract Compilation of lambda-Prolog. - Frédéric Malésieux; Olivier Ridoux; Patrice Boizumault (IJCSLP, 1998)

Compilation abstraite de LambdaProlog. - Frédéric Malésieux; Olivier Ridoux; Patrice Boizumault (JFPLC, 1998)

Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. - Olivier Ridoux; Patrice Boizumault; Frédéric Malésieux (Fuji International Symposium on Functional and Logic Programming, 1999)

Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. - Frédéric Malésieux; Olivier Ridoux; Patrice Boizumault (JFPLC, 1999)

Maintaining Arc-Consistency within Dynamic Backtracking. - Narendra Jussien; Romuald Debruyne; Patrice Boizumault (CP, 2000)

A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts. - Samir Loudni; Patrice Boizumault (ICTAI, 2001)

Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. - Olivier Ridoux; Patrice Boizumault (J. Funct. Log. Program., 2001)

Resource allocation in a mobile telephone network: A constructive repair algorithm. - Patrice Boizumault; Philippe David; Housni Djellab (RAIRO Oper. Res., 2001)

Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints. - Muriel Lauvergne; Philippe David; Patrice Boizumault (CP, 2002)

COINS: a constraint-based interactive solving system. - Samir Ouis; Narendra Jussien; Patrice Boizumault (WLPE, 2002)

k-relevant Explanations for Constraint Programming. - Samir Ouis; Narendra Jussien; Patrice Boizumault (FLAIRS, 2003)

Solving Constraint Optimization Problems in Anytime Contexts. - Samir Loudni; Patrice Boizumault (IJCAI, 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)

Explications k-relevantes pour la programmation par contraintes. - Patrice Boizumault; Narendra Jussien; Samir Ouis (Tech. Sci. Informatiques, 2003)

On-line resources allocation for ATM networks with rerouting. - Samir Loudni; Patrice Boizumault; Philippe David (Comput. Oper. Res., 2006)

A Value Ordering Heuristic for Weighted CSP. - Nicolas Levasseur; Patrice Boizumault; Samir Loudni (ICTAI (1), 2007)

All Different: Softening AllDifferent in Weighted CSPs. - Jean-Philippe Métivier; Patrice Boizumault; Samir Loudni (ICTAI (1), 2007)

Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems. - Nicolas Levasseur; Patrice Boizumault; Samir Loudni (Hybrid Metaheuristics, 2008)

Combining VNS with constraint programming for solving anytime optimization problems. - Samir Loudni; Patrice Boizumault (Eur. J. Oper. Res., 2008)

Solving Nurse Rostering Problems Using Soft Global Constraints. - Jean-Philippe Métivier; Patrice Boizumault; Samir Loudni (CP, 2009)

Softening Gcc and Regular with preferences. - Jean-Philippe Métivier; Patrice Boizumault; Samir Loudni (SAC, 2009)

Constraint Programming for Mining n-ary Patterns. - Mehdi Khiari; Patrice Boizumault; Bruno Crémilleux (CP, 2010)

Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires. - Mehdi Khiari; Patrice Boizumault; Bruno Crémilleux (EGC, 2010)

Combining Constraint Programming and Constraint-Based Mining for Pattern Discovery. - Mehdi Khiari; Patrice Boizumault; Bruno Crémilleux (EGC (best of volume), 2010)

Combining CSP and Constraint-Based Mining for Pattern Discovery. - Mehdi Khiari; Patrice Boizumault; Bruno Crémilleux (ICCSA (2), 2010)

Advanced generic neighborhood heuristics for VNS. - Samir Loudni; Patrice Boizumault; Nicolas Levasseur (Eng. Appl. Artif. Intell., 2010)

A Constraint-Based Language for Declarative Pattern Discovery. - Jean-Philippe Métivier; Patrice Boizumault; Bruno Crémilleux; Mehdi Khiari; Samir Loudni (ICDM Workshops, 2011)

Guiding VNS with Tree Decomposition. - Mathieu Fontaine 001; Samir Loudni; Patrice Boizumault (ICTAI, 2011)

A Generic Approach for Modeling and Mining n-ary Patterns. - Mehdi Khiari; Patrice Boizumault; Bruno Crémilleux (ISMIS, 2011)

Discovering Knowledge using a Constraint-based Language - Patrice Boizumault; Bruno Crémilleux; Mehdi Khiari; Samir Loudni; Jean-Philippe Métivier (CoRR, 2011)

Filtering Decomposable Global Cost Functions. - David Allouche; Christian Bessiere; Patrice Boizumault; Simon de Givry; Patricia Gutierrez; Samir Loudni; Jean-Philippe Métivier; Thomas Schiex (AAAI, 2012)

Soft Threshold Constraints for Pattern Mining. - Willy Ugarte; Patrice Boizumault; Samir Loudni; Bruno Crémilleux (Discovery Science, 2012)

Constrained Clustering Using SAT. - Jean-Philippe Métivier; Patrice Boizumault; Bruno Crémilleux; Mehdi Khiari; Samir Loudni (IDA, 2012)

A constraint language for declarative pattern discovery. - Jean-Philippe Métivier; Patrice Boizumault; Bruno Crémilleux; Mehdi Khiari; Samir Loudni (SAC, 2012)

Exploiting Separators for Guiding VNS. - Samir Loudni; Mathieu Fontaine 001; Patrice Boizumault (Electron. Notes Discret. Math., 2012)

Découverte des soft-skypatterns avec une approche PPC. - Willy Ugarte; Patrice Boizumault; Samir Loudni; Bruno Crémilleux; Alban Lepailleur (EGC, 2013)

Mining (Soft-) Skypatterns Using Constraint Programming. - Willy Ugarte; Patrice Boizumault; Samir Loudni; Bruno Crémilleux; Alban Lepailleur (EGC (best of volume), 2013)

Intensification/Diversification in Decomposition Guided VNS. - Samir Loudni; Mathieu Fontaine 001; Patrice Boizumault (Hybrid Metaheuristics, 2013)

Exploiting Tree Decomposition for Guiding Neighborhoods Exploration for VNS. - Mathieu Fontaine 001; Samir Loudni; Patrice Boizumault (RAIRO Oper. Res., 2013)

Mining (Soft-) Skypatterns Using Dynamic CSP. - Willy Ugarte Rojas; Patrice Boizumault; Samir Loudni; Bruno Crémilleux; Alban Lepailleur (CPAIOR, 2014)

Computing Skypattern Cubes. - Willy Ugarte; Patrice Boizumault; Samir Loudni; Bruno Crémilleux (ECAI, 2014)

Cooperative Parallel Decomposition Guided VNS for Solving Weighted CSP. - Abdelkader Ouali; Samir Loudni; Lakhdar Loukil; Patrice Boizumault; Yahia Lebbah (Hybrid Metaheuristics, 2014)

Mining Relevant Sequence Patterns with CP-Based Framework. - Amina Kemmar; Willy Ugarte; Samir Loudni; Thierry Charnois; Yahia Lebbah; Patrice Boizumault; Bruno Crémilleux (ICTAI, 2014)

Computing Skypattern Cubes Using Relaxation. - Willy Ugarte; Patrice Boizumault; Samir Loudni; Bruno Crémilleux (ICTAI, 2014)

PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining. - Amina Kemmar; Samir Loudni; Yahia Lebbah; Patrice Boizumault; Thierry Charnois (CP, 2015)

Modeling and Mining Optimal Patterns Using Dynamic CSP. - Willy Ugarte; Patrice Boizumault; Samir Loudni; Bruno Crémilleux (ICTAI, 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)

Replicated Parallel Strategies for Decomposition Guided VNS. - Abdelkader Ouali; Samir Loudni; Lakhdar Loukil; Patrice Boizumault; Yahia Lebbah (Electron. Notes Discret. Math., 2015)

Soft constraints for pattern mining. - Willy Ugarte; Patrice Boizumault; Samir Loudni; Bruno Crémilleux; Alban Lepailleur (J. Intell. Inf. Syst., 2015)

A Global Constraint for Closed Frequent Pattern Mining. - Nadjib Lazaar; Yahia Lebbah; Samir Loudni; Mehdi Maamar; Valentin Lemière; Christian Bessiere; Patrice Boizumault (CP, 2016)

A Global Constraint for Mining Sequential Patterns with GAP Constraint. - Amina Kemmar; Samir Loudni; Yahia Lebbah; Patrice Boizumault; Thierry Charnois (CPAIOR, 2016)

Efficiently Finding Conceptual Clustering Models with Integer Linear Programming. - Abdelkader Ouali; Samir Loudni; Yahia Lebbah; Patrice Boizumault; Albrecht Zimmermann; Lakhdar Loukil (IJCAI, 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)

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)

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 (PAKDD (2), 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)

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)

Compressing and Querying Skypattern Cubes. - Willy Ugarte; Samir Loudni; Patrice Boizumault; Bruno Crémilleux; Alexandre Termier (IEA/AIE, 2019)

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)

Explanations for Itemset Mining by Constraint Programming: A Case Study Using ChEMBL Data. - Maksim Koptelov; Albrecht Zimmermann; Patrice Boizumault; Ronan Bureau; Jean Luc Lamotte (IDA, 2023)

Efficiently Mining Closed Interval Patterns with Constraint Programming. - Djawad Bekkoucha; Abdelkader Ouali; Patrice Boizumault; Bruno Crémilleux (CPAIOR (1), 2024)

Échantillonnage de motifs d'intervalles selon la fréquence. - Djawad Bekkoucha; Abdelkader Ouali; Bruno Crémilleux; Patrice Boizumault (EGC, 2025)