
Nicolas Beldiceanu
35%
Libre accès
104
Documents
Affiliations actuelles
- Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)
- Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC)
Identifiants chercheurs
Présentation
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
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
2
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
Publications
|
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⟩
Communication dans un congrès
hal-04460576
v1
|
|
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
Communication dans un congrès
hal-04931411
v1
|
|
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-04460520
v1
|
|
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-04460561
v1
|
|
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-03789045
v1
|
|
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-03486945
v2
|
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-02505056
v1
|
|
|
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-01882896
v1
|
|
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-01651593
v1
|
|
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-01582936
v1
|
|
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-01686406
v1
|
|
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-01651610
v1
|
|
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-01578354
v1
|
|
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-01651585
v1
|
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-01436044
v1
|
|
|
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-01355262
v1
|
|
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-01131602
v1
|
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia
Communication dans un congrès
hal-01186680
v1
|
|
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-01086755
v1
|
|
Propagating Regular Counting ConstraintsTwenty-Eighth AAAI Conference on Artificial Intelligence, Jul 2014, Québec, Canada
Communication dans un congrès
hal-01086758
v1
|
|
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
istex
hal-00874309
v1
|
|
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
istex
hal-00874326
v1
|
|
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-00754361
v1
|
|
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-00874286
v1
|
|
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-00874297
v1
|
|
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-00754341
v1
|
|
Building global constraint models from positive examples21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany
Communication dans un congrès
hal-00754354
v1
|
|
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-00754356
v1
|
|
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-00754079
v1
|
|
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-00754044
v1
|
|
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-00754043
v1
|
|
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-00754020
v1
|
|
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-00754027
v1
|
|
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
istex
hal-00753375
v1
|
|
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
istex
hal-00754010
v1
|
|
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-00754017
v1
|
|
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
istex
hal-00753385
v1
|
|
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-00754023
v1
|
|
|
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-00520296
v2
|
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
istex
hal-00915717
v1
|
|
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
istex
hal-00915701
v1
|
|
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
istex
hal-00915800
v1
|
|
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
istex
hal-00481521
v1
|
|
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
istex
hal-00481539
v1
|
|
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-00481545
v1
|
|
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-00481541
v1
|
|
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-00481558
v1
|
|
|
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-00151193
v1
|
|
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-00151230
v1
|
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-00481563
v1
|
|
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-00481560
v1
|
|
|
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-00085796
v1
|
Undirected Forest ConstraintsTechniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. pp.29-43
Communication dans un congrès
hal-00481573
v1
|
|
|
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-00085802
v1
|
|
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-00085803
v1
|
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-00481570
v1
|
|
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-00481575
v1
|
|
|
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-00000088
v1
|
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-00445174
v1
|
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-00754042
v1
|
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-01436062
v1
|
|
A Note on Perfect Square Placement1999
Pré-publication, Document de travail
hal-01245074
v1
|
|
Generalised Euler's knight1998
Pré-publication, Document de travail
lirmm-01079127
v1
|
|
Global Constraint Catalog, Volume II, Time-Series Constraints[Technical Report] IMT Atlantique. 2018, pp.1-3762
Rapport
(rapport technique)
hal-01374721
v1
|
Propagating regular counting constraints[Research Report] 2013, pp.16
Rapport
(rapport de recherche)
hal-00874338
v1
|
|
Synchronized sweep algorithms for scalable scheduling constraints[Research Report] 2013, pp.49
Rapport
(rapport de recherche)
hal-00874331
v1
|
|
On the Reification of Global Constraints2012
Rapport
hal-00754039
v1
|
|
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction2011
Rapport
hal-00754032
v1
|
|
Contraintes Globales : Aspects Algorithmiques et DéclaratifsIntelligence artificielle [cs.AI]. Université de Paris 6, 2003
HDR
tel-02927324
v1
|
Chargement...
Chargement...