Nicolas Beldiceanu
Prof. Nicolas Beldiceanu
40%
Libre accès
103
Documents
Affiliations actuelles
- 489559
- 1088577
Identifiants chercheurs
nicolasbeldiceanu- Google Scholar : http://scholar.google.se/citations?user=yue1lQ8AAAAJ
- IdRef : 033488673
-
0000-0003-1452-596X
Présentation
**Professor in computer science, IMT Atlantique, LS2N-CNRS**, 2003-current (Nantes, France)
Research in constraint programming:
- global constraints and structural time-series constraints
- efficient filtering algorithms
- describing constraints (with meta data, graph, automata, transducers)
- synthesizing/learning combinatorial knowledge maps
- learning constraints models
Senior researcher at SICS, 1999-2003 (Uppsala Sweden)
In charge of research at COSYTEC, 1990-1999 (Paris area, France)
Researcher at European Computer-Industry Research Centre, 1988-1989 (Munich, Germany)
**Education**
University Pierre et Marie Curie, PhD in Computer Science, 1983-1988
(Programmeur d'Etude, Maîtrise, DEA systèmes informatiques, PhD thesis under supervision of Claude Girault:
A rule language and an inference engine based on constraints and actions: application to Petri nets)
University Pierre et Marie Curie, HDR, 2003
(Global constraints: algorithmic and declarative aspects)
**Award**
2017: ACP Award for Research Excellence in Constraint Programming ([slides](https://www.dropbox.com/s/1uf7fozzalqd4vf/slides_acp_award_2017.pdf?dl=0))
Publications
- 30
- 19
- 17
- 15
- 14
- 13
- 7
- 7
- 6
- 6
- 6
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 7
- 7
- 2
- 4
- 9
- 8
- 10
- 7
- 4
- 5
- 8
- 12
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
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
Communication dans un congrès
hal-04460576v1
|
|
|
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⟩
Communication dans un congrès
hal-04460520v1
|
|
|
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⟩
Communication dans un congrès
hal-04460561v1
|
|
|
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⟩
Communication dans un congrès
hal-03789045v1
|
|
|
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⟩
Communication dans un congrès
hal-03486945v2
|
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⟩
Communication dans un congrès
hal-02505056v1
|
|
|
|
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
Communication dans un congrès
hal-01882896v1
|
|
|
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⟩
Communication dans un congrès
hal-01651593v1
|
|
|
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⟩
Communication dans un congrès
hal-01651585v1
|
|
|
Beyond the Holy Grail - Automatically Generating Constraint Propagators for Conjunctions of Time-Series ConstraintsWorkshop on Progress Towards the Holy Grail, Aug 2017, Melbourne, Australia
Communication dans un congrès
hal-01651610v1
|
|
|
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⟩
Communication dans un congrès
hal-01578354v1
|
|
|
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⟩
Communication dans un congrès
hal-01582936v1
|
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⟩
Communication dans un congrès
hal-01686406v1
|
|
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⟩
Communication dans un congrès
hal-01436044v1
|
|
|
|
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⟩
Communication dans un congrès
hal-01355262v1
|
|
|
The EPOC project: Energy Proportional and Opportunistic Computing systemInternational Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
Communication dans un congrès
hal-01131602v1
|
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia
Communication dans un congrès
hal-01186680v1
|
|
Propagating Regular Counting ConstraintsTwenty-Eighth AAAI Conference on Artificial Intelligence, Jul 2014, Québec, Canada
Communication dans un congrès
hal-01086758v1
|
|
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⟩
Communication dans un congrès
hal-01086755v1
|
|
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⟩
Communication dans un congrès
hal-00874326v1
|
|
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
Communication dans un congrès
hal-00874286v1
|
|
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
Communication dans un congrès
hal-00874297v1
|
|
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⟩
Communication dans un congrès
hal-00874309v1
|
|
A Model Seeker: Extracting Global Constraint Models From Positive Examples2013 INFORMS Computing Society Conference, Jan 2013, Santa Fe, United States
Communication dans un congrès
hal-00754361v1
|
|
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
Communication dans un congrès
hal-00754341v1
|
|
Some Research Challenges and Remarks on CP18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada
Communication dans un congrès
hal-00754356v1
|
|
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⟩
Communication dans un congrès
hal-00754079v1
|
|
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⟩
Communication dans un congrès
hal-00754043v1
|
|
Building global constraint models from positive examples21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany
Communication dans un congrès
hal-00754354v1
|
|
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⟩
Communication dans un congrès
hal-00754044v1
|
|
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
Communication dans un congrès
hal-00754020v1
|
|
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⟩
Communication dans un congrès
hal-00754010v1
|
|
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
Communication dans un congrès
hal-00754023v1
|
|
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
Communication dans un congrès
hal-00754017v1
|
|
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⟩
Communication dans un congrès
hal-00753385v1
|
|
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⟩
Communication dans un congrès
hal-00753375v1
|
|
Learning Structured Constraint Models: a First AttemptThe 22nd Irish Conference on Artificial Intelligence and Cognitive Science, AICS'11, 2011, Ulster, Ireland
Communication dans un congrès
hal-00754027v1
|
|
|
|
La contrainte Increasing NValueJFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
Communication dans un congrès
inria-00520296v2
|
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⟩
Communication dans un congrès
hal-00915800v1
|
|
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⟩
Communication dans un congrès
hal-00915717v1
|
|
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⟩
Communication dans un congrès
hal-00915701v1
|
|
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⟩
Communication dans un congrès
hal-00481521v1
|
|
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
Communication dans un congrès
hal-00481541v1
|
|
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
Communication dans un congrès
hal-00481545v1
|
|
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⟩
Communication dans un congrès
hal-00481539v1
|
|
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
Communication dans un congrès
hal-00481560v1
|
|
|
|
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
Communication dans un congrès
inria-00151193v1
|
|
|
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
Communication dans un congrès
inria-00151230v1
|
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
Communication dans un congrès
hal-00481558v1
|
|
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
Communication dans un congrès
hal-00481563v1
|
|
|
|
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
Communication dans un congrès
inria-00085796v1
|
|
|
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
Communication dans un congrès
inria-00085802v1
|
Graph-Based Filtering12th International Conference on Principles and Practice of Constraint Programming (CP'06), 2006, Nantes, France. pp.59-74
Communication dans un congrès
hal-00481570v1
|
|
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
Communication dans un congrès
hal-00481575v1
|
|
Undirected Forest ConstraintsTechniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. pp.29-43
Communication dans un congrès
hal-00481573v1
|
|
|
|
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
Communication dans un congrès
inria-00085803v1
|
|
|
Bornes de Caractéristiques de GraphesPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.229-238
Communication dans un congrès
inria-00000088v1
|
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
Communication dans un congrès
hal-00445174v1
|
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⟩
Ouvrages
hal-00754042v1
|
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⟩
Chapitre d'ouvrage
hal-01436062v1
|
|
|
A Note on Perfect Square Placement1999
Pré-publication, Document de travail
hal-01245074v1
|
|
|
Generalised Euler's knight1998
Pré-publication, Document de travail
lirmm-01079127v1
|
|
|
Global Constraint Catalog, Volume II, Time-Series Constraints[Technical Report] IMT Atlantique. 2018, pp.1-3762
Rapport
hal-01374721v1
|
Synchronized sweep algorithms for scalable scheduling constraints[Research Report] 2013, pp.49
Rapport
hal-00874331v1
|
|
Propagating regular counting constraints[Research Report] 2013, pp.16
Rapport
hal-00874338v1
|
|
On the Reification of Global Constraints2012
Rapport
hal-00754039v1
|
|
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction2011
Rapport
hal-00754032v1
|
|
|
Contraintes Globales : Aspects Algorithmiques et DéclaratifsIntelligence artificielle [cs.AI]. Université de Paris 6, 2003
HDR
tel-02927324v1
|