Nicolas Beldiceanu
- Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)
- Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC)
Présentation
Professeur Informatique, IMT Atlantique, LS2N-CNRS, 2003-présent (Nantes, France) Articles récents Thématiques de recherche Parcourt Education Prix
2017: ACP Award for Research Excellence in Constraint Programming (slides)
Publications
Publications
|
|
Towards the 30 by 30 Kunming-Montreal global biodiversity framework target : optimising graph connectivity in constraint-based spatial planningIJCAI 2025 - International Joint Conference on Artificial Intelligence AI and Social Good, Aug 2025, Montréal, Canada. pp.9772-9780, ⟨10.24963/ijcai.2025/1086⟩ |
|
|
Bimodal Depth-First Search for Scalable GAC for AllDifferentIJCAI-25: Thirty-Fourth International Joint Conference on Artificial Intelligence, Aug 2025, Montreal, Canada. pp.2610-2618, ⟨10.24963/ijcai.2025/291⟩ |
|
|
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex FormulaeAAAI 2024: 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. ⟨10.1609/aaai.v38i8.28641⟩ |
|
|
Fouille Interactive de Motifs à Haute Utilité24ème conférence francophone sur l'Extraction et la Gestion des Connaissances EGC 2024, Jan 2024, Dijon (Bourgogne), France |
|
|
Boolean-Arithmetic Equations: Acquisition and UsesCPAIOR 2023: 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2023, Nice, France. pp.378-394, ⟨10.1007/978-3-031-33271-5_25⟩ |
|
|
Automata Based Multivariate Time Series Analysis for Anomaly Detection over Sliding Time Windows9th International Conference on Time Series and Forecasting, Jul 2023, Gran Canaria, Spain. ⟨10.3390/engproc2023039065⟩ |
|
|
Acquiring Maps of Interrelated Conjectures on Sharp BoundsCP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.1-18, ⟨10.4230/LIPIcs.CP.2022.6⟩ |
|
|
ASSISTANT: Learning and Robust Decision Support System for Agile Manufacturing EnvironmentsINCOM 2021: 17th IFAC Symposium on Information Control Problems in Manufacturing, Jun 2021, Budapest, Hungary. pp.641-646, ⟨10.1016/j.ifacol.2021.08.074⟩ |
Parameterised Bounds on the Sum of Variables in Time-Series ConstraintsCPAIOR 2020 : 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Sep 2020, Vienna, Austria. ⟨10.1007/978-3-030-58942-4_6⟩ |
|
|
|
CP-based cloud workload annotation as a preprocessing for anomaly detection using deep neural networksITISE 2018 - International Conference onTime Series and Forecasting, Sep 2018, Granada, Spain. pp.1-12 |
|
|
AMONG Implied Constraints for Two Families of Time-Series ConstraintsCP 2017 : 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. ⟨10.1007/978-3-319-66158-2_3⟩ |
|
|
Generating Linear Invariants for a Conjunction of Automata ConstraintsCP 2017 : 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. ⟨10.1007/978-3-319-66158-2_2⟩ |
|
|
Green energy aware scheduling problem in virtualized datacentersICPADS 2017 : IEEE 23rd International Conference on Parallel and Distributed Systems, Dec 2017, Shenzen, China. pp.648-655, ⟨10.1109/ICPADS.2017.00089⟩ |
|
|
Range-Consistent Forbidden Regions of Allen’s RelationsCPAIOR 2017 : 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Jun 2017, Padoue, Italy. pp.21-29, ⟨10.1007/978-3-319-59776-8_2⟩ |
|
|
Beyond the Holy Grail - Automatically Generating Constraint Propagators for Conjunctions of Time-Series ConstraintsWorkshop on Progress Towards the Holy Grail, Aug 2017, Melbourne, Australia |
|
|
Cloud workload prediction and generation modelsSBAC-PAD 2017 : 29th International Symposium on Computer Architecture and High Performance Computing, Oct 2017, Campinas, Brazil. pp.89-96, ⟨10.1109/SBAC-PAD.2017.19⟩ |
The TaskIntersection Constraint13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming - CPAIOR 2016, May 2016, Banff, Canada. pp.246-261, ⟨10.1007/978-3-319-33954-2_18⟩ |
|
|
|
Time-Series Constraints: Improvements and Application in CP and MIP ContextsCPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, May 2016, Banff, Canada. pp.18-34, ⟨10.1007/978-3-319-33954-2⟩ |
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia |
|
|
|
The EPOC project: Energy Proportional and Opportunistic Computing systemInternational Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal |
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with AccumulatorsPrinciples and Practice of Constraint Programming - 20th International Conference, CP 2014, Sep 2014, Lyon, France. pp.15, ⟨10.1007/978-3-319-10428-7_13⟩ |
|
Propagating Regular Counting ConstraintsTwenty-Eighth AAAI Conference on Artificial Intelligence, Jul 2014, Québec, Canada |
|
GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple PolynomialsThe Sixth Annual Symposium on Combinatorial Search (SOCS'13), Jun 2013, Leavenworth, WA, United States |
|
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints19th International Conference on Principles and Practice of Constraint Programming (CP'13), Sep 2013, Uppsala, Sweden. pp.529-544, ⟨10.1007/978-3-642-40627-0_40⟩ |
|
Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker19th International Conference on Principles and Practice of Constraint Programming (CP'13), Sep 2013, Uppsala, Sweden. pp.733--748, ⟨10.1007/978-3-642-40627-0_54⟩ |
|
A Model Seeker: Extracting Global Constraint Models From Positive Examples2013 INFORMS Computing Society Conference, Jan 2013, Santa Fe, United States |
|
A Synchronized Sweep Algorithm for the $k$-dimensional cumulative ConstraintIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference (CPAIOR'13), Jun 2013, Yorktown Heights, NY, United States. pp.144-159 |
|
A Model Seeker: Extracting Global Constraint Models From Positive ExamplesFirst workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile'12), Aug 2012, Montpellier, France |
|
Building global constraint models from positive examples21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany |
|
|
|
An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France. pp.145-150, ⟨10.3233/978-1-61499-098-7-145⟩ |
Some Research Challenges and Remarks on CP18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada |
|
A Model Seeker: Extracting Global Constraint Models from Positive Examples18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.141-157, ⟨10.1007/978-3-642-33558-7_13⟩ |
|
A Scalable Sweep Algorithm for the cumulative Constraint18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.439-454, ⟨10.1007/978-3-642-33558-7_33⟩ |
|
Using the Global Constraint Seeker for Learning Structured Constraint Models: A First AttemptThe 10th International Workshop on Constraint Modelling and Reformulation (ModRef'11) held at CP'11, Sep 2011, Perugia, Italy. pp.20-34 |
|
Algorithmes de filtrage pour des problèmes cumulatifs discrets avec dépassements de ressource7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), 2011, Lyon, France. pp.1-15 |
|
Learning Structured Constraint Models: a First AttemptThe 22nd Irish Conference on Artificial Intelligence and Cognitive Science, AICS'11, 2011, Ulster, Ireland |
|
Filtering Algorithms for Discrete Cumulative Problems with Overloads of ResourcePrinciples and Practice of Constraint Programming - CP 2011, Sep 2011, Perugia, Italy. pp.240-255, ⟨10.1007/978-3-642-23786-7_20⟩ |
|
A Constraint Seeker: Finding and Ranking Global Constraints from Examples17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perrugia, Italy. pp.12-26, ⟨10.1007/978-3-642-23786-7_4⟩ |
|
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints22th International Joint Conference on Artificial Intelligence (IJCAI'11), Aug 2011, Barcelona, Spain. pp.643-648 |
|
A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perugia, Italy. pp.721-728, ⟨10.1007/978-3-642-23786-7_54⟩ |
|
|
|
La contrainte Increasing NValueJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70 |
|
|
On Matrices, Automata, and Double CountingIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_4⟩ |
Sweeping with Continuous Domains.Principles and Practice of Constraint Programming - CP 2010, Oct 2010, St. Andrews, United Kingdom. pp.137-151, ⟨10.1007/978-3-642-15396-9_14⟩ |
|
The Increasing Nvalue ConstraintIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_5⟩ |
|
|
|
Six Ways of Integrating Symmetries within Non-Overlapping Constraints6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), 2009, United States. pp.11-25, ⟨10.1007/978-3-642-01929-6_3⟩ |
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), 2008, Paris, France. pp.21-35 |
|
|
|
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules14th International Conference on Principles and Practice of Constraint Programming (CP'08), 2008, Australia. pp.220-234, ⟨10.1007/978-3-540-85958-1_15⟩ |
Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and ProductionInternational Conference on Automated Planning and Scheduling (ICAPS'08), 2008, Sidney, Australia. pp.264-271 |
|
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), 2007, Brussels, Belgium. pp.214-228 |
|
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, United States. pp.180-194 |
|
|
|
Condition nécessaire pour la contrainte de partitionnement de graphes par des cheminsTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France |
|
|
Une contrainte cumulative continue multi-ressources avec des conso mmations - Productions en ressources Positives - NégativesTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France |
Necessary Condition for Path Partitioning Constraints4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), 2007, Brussels, Belgium. pp.141-154 |
|
|
|
Filtrage basé sur des propriétés de grapheDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France |
Undirected Forest ConstraintsTechniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. pp.29-43 |
|
|
|
Partitionnement de graphes par des arbres sous contraintes de degréDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France |
|
|
Contraintes de Partitionnement par des ArbresDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France |
Graph-Based Filtering12th International Conference on Principles and Practice of Constraint Programming (CP'06), 2006, Nantes, France. pp.59-74 |
|
Filtrage basé sur des propriétés de graphes2èmes Journées Francophones de Programmation par Contraintes ({JFPC'06}, 2006, Nîmes, France. pp.11-25 |
|
|
|
Bornes de Caractéristiques de GraphesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.229-238 |
The Tree ConstraintInternational Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05), 2005, Prague, Czech Republic, Czech Republic. pp.64--78 |
9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12)Springer Berlin Heidelberg, pp.408, 2012, 978-3-642-29827-1. ⟨10.1007/978-3-642-29828-8⟩ |
ModelSeeker: Extracting Global Constraint Models from Positive ExamplesChristian Bessiere; Luc De Raedt; Lars Kotthoff; Siegfried Nijssen; Barry O'Sullivan; Dino Pedreschi. Data Mining and Constraint Programming, 10101, Springer, pp.77-95, 2016, Data Mining and Constraint Programming, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_4⟩ |
|
|
A Note on Perfect Square Placement1999 |
|
|
Generalised Euler's knight1998 |
|
|
Tight MDD Integration for Global Constraints: the Multi-Cumulatives CaseIMT ATLANTIQUE. 2026 |
|
|
Technical Appendix for Bimodal Depth-First Search for Scalable GAC for AllDifferentIMT Atlantique. 2025, 5 p |
|
|
Global Constraint Catalog, Volume II, Time-Series Constraints[Technical Report] IMT Atlantique. 2018, pp.1-3762 |
Propagating regular counting constraints[Research Report] 2013, pp.16 |
|
Synchronized sweep algorithms for scalable scheduling constraints[Research Report] 2013, pp.49 |
|
On the Reification of Global Constraints2012 |
|
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction2011 |
|
|
Contraintes Globales : Aspects Algorithmiques et DéclaratifsIntelligence artificielle [cs.AI]. Université de Paris 6, 2003 |