Patrice Boizumault

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Efficiently Mining Closed Interval Patterns with Constraint Programming.
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.
Proceedings of the Advances in Intelligent Data Analysis XXI, 2023

2020
Variable neighborhood search for graphical model energy minimization.
Artif. Intell., 2020

2019
Compressing and Querying Skypattern Cubes.
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.
Constraints An Int. J., 2017

Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems.
Artif. Intell., 2017

Integer Linear Programming for Pattern Set Mining; with an Application to Tiling.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

2016
Une contrainte globale pour l'extraction de motifs séquentiels.
Rev. d'Intelligence Artif., 2016

Tractability-preserving transformations of global cost functions.
Artif. Intell., 2016

Efficiently Finding Conceptual Clustering Models with Integer Linear Programming.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Global Constraint for Mining Sequential Patterns with GAP Constraint.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

A Global Constraint for Closed Frequent Pattern Mining.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
Soft constraints for pattern mining.
J. Intell. Inf. Syst., 2015

Replicated Parallel Strategies for Decomposition Guided VNS.
Electron. Notes Discret. Math., 2015

Tractability and Decompositions of Global Cost Functions.
CoRR, 2015

Modeling and Mining Optimal Patterns Using Dynamic CSP.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Computing Skypattern Cubes Using Relaxation.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Mining Relevant Sequence Patterns with CP-Based Framework.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Cooperative Parallel Decomposition Guided VNS for Solving Weighted CSP.
Proceedings of the Hybrid Metaheuristics - 9th International Workshop, HM 2014, 2014

Computing Skypattern Cubes.
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.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2013
Exploiting Tree Decomposition for Guiding Neighborhoods Exploration for VNS.
RAIRO Oper. Res., 2013

Intensification/Diversification in Decomposition Guided VNS.
Proceedings of the Hybrid Metaheuristics - 8th International Workshop, 2013

Mining (Soft-) Skypatterns Using Constraint Programming.
Proceedings of the Advances in Knowledge Discovery and Management, 2013

Découverte des soft-skypatterns avec une approche PPC.
Proceedings of the Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier, 2013

2012
Exploiting Separators for Guiding VNS.
Electron. Notes Discret. Math., 2012

A constraint language for declarative pattern discovery.
Proceedings of the ACM Symposium on Applied Computing, 2012

Constrained Clustering Using SAT.
Proceedings of the Advances in Intelligent Data Analysis XI - 11th International Symposium, 2012

Soft Threshold Constraints for Pattern Mining.
Proceedings of the Discovery Science - 15th International Conference, 2012

Filtering Decomposable Global Cost Functions.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Discovering Knowledge using a Constraint-based Language
CoRR, 2011

A Generic Approach for Modeling and Mining n-ary Patterns.
Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

Guiding VNS with Tree Decomposition.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

A Constraint-Based Language for Declarative Pattern Discovery.
Proceedings of the Data Mining Workshops (ICDMW), 2011

2010
Advanced generic neighborhood heuristics for VNS.
Eng. Appl. Artif. Intell., 2010

Combining CSP and Constraint-Based Mining for Pattern Discovery.
Proceedings of the Computational Science and Its Applications, 2010

Combining Constraint Programming and Constraint-Based Mining for Pattern Discovery.
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.
Proceedings of the Extraction et gestion des connaissances (EGC'2010), 2010

Constraint Programming for Mining n-ary Patterns.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Softening Gcc and Regular with preferences.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Solving Nurse Rostering Problems Using Soft Global Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Combining VNS with constraint programming for solving anytime optimization problems.
Eur. J. Oper. Res., 2008

Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems.
Proceedings of the Hybrid Metaheuristics, 5th International Workshop, 2008

2007
All Different: Softening AllDifferent in Weighted CSPs.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

A Value Ordering Heuristic for Weighted CSP.
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.
Comput. Oper. Res., 2006

2003
Explications k-relevantes pour la programmation par contraintes.
Tech. Sci. Informatiques, 2003

Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM.
Tech. Sci. Informatiques, 2003

Solving Constraint Optimization Problems in Anytime Contexts.
Proceedings of the IJCAI-03, 2003

k-relevant Explanations for Constraint Programming.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002
COINS: a constraint-based interactive solving system.
Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
Resource allocation in a mobile telephone network: A constructive repair algorithm.
RAIRO Oper. Res., 2001

Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog.
J. Funct. Log. Program., 2001

A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts.
Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001

2000
Maintaining Arc-Consistency within Dynamic Backtracking.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.
Proceedings of the JFPLC'99, 1999

Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998
Compilation abstraite de LambdaProlog.
Proceedings of the JFPLC'98, 1998

Abstract Compilation of lambda-Prolog.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997
Best-First Search for Property Maintenance in Reactive Constraint Systems.
Proceedings of the Logic Programming, 1997

Stratégies en meilleur d'abord pour la relaxation de contraintes.
Proceedings of the JFPLC'97, 1997

1996
Constraint Logic Programming for Examination Timetabling.
J. Log. Program., 1996

Maintien de déduction pour la relaxation de contraintes.
Proceedings of the JFPLC'96, 1996

1995
Building University Timetables Using Constraint Logic Programming.
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.
Proceedings of the Over-Constrained Systems, 1995

A CLP Approach for Examination Planning.
Proceedings of the Constraint Processing, Selected Papers, 1995

1993
Solving a real life exams problem using CHIP.
Proceedings of the Logic Programming, 1993

1986
A General Model to Implement DIF and FREEZE.
Proceedings of the Third International Conference on Logic Programming, 1986

A Classical Implementation for Prolog-II.
Proceedings of the ESOP 86, 1986

1984
Un modèle de trace pour PROLOG.
Proceedings of the SPLT'84, 1984

1983
Sur la transformation de l'appel terminal en itération dans un interprète PROLOG.
Proceedings of the SPLT'83, 1983


  Loading...