Nicolas Beldiceanu

Prof. Nicolas Beldiceanu
42 %
Libre accès
108
Documents
Affiliations actuelles
  • Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)
  • Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC)
Contact

Présentation

Professeur Informatique, IMT Atlantique, LS2N-CNRS, 2003-présent (Nantes, France)

Articles récents

  • IJCAI 2025, Bimodal Depth-First Search for Scalable GAC for AllDifferent, S. Le Bozec-Chiffoleau, N. Beldiceanu, C. Prud'homme, G. Simonin, X. Lorca.
  • IJCAI 2025, Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning, S. Le Bozec-Chiffoleau et al.
  • CPAIOR 2025, Acquiring and Selecting Implied Constraints with an Application to the BinSeq and Partition Global Constraints, J. C. Ngouonou, R. Gindullin, C.-G. Quimper, N. Beldiceanu and R. Douence.

Thématiques de recherche

  • Contraintes globales et séries temporelles structurées
  • Algorithmes de filtrage efficaces
  • Description de contraintes (à l'aide de métadonnées, graphes, automates, transducteurs)
  • Synthèse/apprentissage de connaissances combinatoires & apprentissage de modèles à contraintes

Parcourt

  • Chercheur confirmé à SICS, 1999-2003 (Uppsala Suède)
  • En charge de la recherche à COSYTEC, 1990-1999 (Paris, France)
  • Chercheur à l'European Computer-Industry Research Centre, 1988-1989 (Munich, Allemagne)

Education

  • Université Pierre et Marie Curie, Thèse en informatique, 1983-1988 (Programmeur d'Etude, Maîtrise, DEA systèmes informatiques, Thèse sous la supervision de Claude Girault: Un langage de règle est un moteur d'inférence basé sur des contraintes et des actions: application aux réseaux de Petri)
  • Université Pierre et Marie Curie, HDR, 2003 (Contraintes globales: aspects algorithmiques et déclaratifs)

Prix 2017: ACP Award for Research Excellence in Constraint Programming (slides)

Publications

30
19
18
17
14
13
7
7
6
6
6
6
5
4
4
4
4
4
4
4
4
4
3
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
1
1
1
1
1
1
3
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
9
5
3
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
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

Deposit thumbnail

De l'influence de Jacques Pitrat sur mes recherches en programmation par contraintes

Nicolas Beldiceanu

Revue Ouverte d'Intelligence Artificielle, 2022, 3 (1-2), pp.141-153. ⟨10.5802/roia.24⟩

Article dans une revue hal-03788925v1

Invariants for Time-Series Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis Article dans une revue hal-02505029v1

Deriving generic bounds for time-series constraints based on regular expressions characteristics

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis

Constraints, 2018, 23 (1), pp.44 - 86. ⟨10.1007/s10601-017-9276-z⟩

Article dans une revue hal-01685567v1
Deposit thumbnail

Towards energy-proportional Clouds partially powered by renewable energy

Nicolas Beldiceanu , Bárbara Dumas Feris , Philippe Gravey , Md Sabbir Hasan , Claude Jard et al.

Computing, 2017, 99 (1), pp.3-22. ⟨10.1007/s00607-016-0503-z⟩

Article dans une revue hal-01340318v1
Deposit thumbnail

A Parametric Propagator for Pairs of Sum Constraints with a Discrete Convexity Property

Jean-Noël Monette , Nicolas Beldiceanu , Pierre Flener , Justin Pearson

Artificial Intelligence (AIJ), 2016, 241, pp.170 - 190. ⟨10.1016/j.artint.2016.08.006⟩

Article dans une revue hal-01374714v1
Deposit thumbnail

Using finite transducers for describing and synthesising structural time-series constraints

Nicolas Beldiceanu , Mats Carlsson , Rémi Douence , Helmut Simonis

Constraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩

Article dans une revue hal-01370322v1

Packing with Complex Shapes

Abderrahmane Aggoun , Nicolas Beldiceanu , Gilles Chabert , François Fages

ERCIM News, 2016, 105, pp.32

Article dans une revue hal-01378471v1

Toward sustainable development in constraint programming

Nicolas Beldiceanu , Pierre Flener , Jean-Noël Monette , Justin Pearson , Helmut Simonis

Constraints, 2014, pp.11. ⟨10.1007/s10601-013-9152-4⟩

Article dans une revue hal-01086761v1

Synchronized sweep algorithms for scalable scheduling constraints

Arnaud Letort , Mats Carlsson , Nicolas Beldiceanu

Constraints, 2014, pp.52. ⟨10.1007/s10601-014-9172-8⟩

Article dans une revue hal-01086765v1

On the Reification of Global Constraints

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Justin Pearson

Constraints, 2013, 18 (1), pp.1-6. ⟨10.1007/s10601-012-9132-0⟩

Article dans une revue istex hal-00754252v1
Deposit thumbnail

On Matrices, Automata, and Double Counting in Constraint Programming

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Justin Pearson

Constraints, 2013, 18 (1), pp.108-140. ⟨10.1007/s10601-012-9134-y⟩

Article dans une revue hal-00758531v1

New filtering for the \it cumulative constraint in the context of non-overlapping rectangles

Nicolas Beldiceanu , Mats Carlsson , Sophie Demassey , Emmanuel Poder

Annals of Operations Research, 2011, 184 (1), pp.27-50. ⟨10.1007/s10479-010-0731-0⟩

Article dans une revue istex hal-00485563v1

Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems

Aggoun Abder , Nicolas Beldiceanu , Mats Carlsson , Francois Fages

ERCIM News, 2010, 81

Article dans une revue hal-00915805v1

Undirected Forest Constraints

Nicolas Beldiceanu , Irit Katriel , Xavier Lorca

Annals of Operations Research, 2009, 171 (1), pp.127-147. ⟨10.1007/s10479-008-0374-6⟩

Article dans une revue istex hal-00481471v1

Combining tree Partitioning, Precedence, and Incomparability Constraints

Nicolas Beldiceanu , Pierre Flener , Xavier Lorca

Constraints, 2008, 13 (4), pp.459-489. ⟨10.1007/s10601-007-9040-x⟩

Article dans une revue istex hal-00481533v1

Special Issue on Global Constraints

Nicolas Beldiceanu

Constraints, 2007, 12 (1), pp.1-1

Article dans une revue hal-00481555v1

Global Constraint Catalog: Past, Present and Future

Nicolas Beldiceanu , Mats Carlsson , Sophie Demassey , Thierry Petit

Constraints, 2007, 12 (1), pp.21-62

Article dans une revue hal-00481554v1

Bounds of graph properties

Nicolas Beldiceanu , Thierry Petit , Guillaume Rochart

RAIRO - Operations Research, 2006, pp.742-746

Article dans une revue hal-00442811v1

Sweep synchronisation as a global propagation mechanism

Nicolas Beldiceanu , Mats Carlsson , Sven Thiel

Computers and Operations Research, 2006, 33 (10), pp.2835-2851. ⟨10.1016/j.cor.2005.01.013⟩

Article dans une revue hal-00481567v1

Bounds of parameters for global constraints

Nicolas Beldiceanu , Thierry Petit , Guillaume Rochart

RAIRO - Operations Research, 2006, 40 (4), pp.327-353

Article dans une revue hal-00481568v1

Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption

Emmanuel Poder , Nicolas Beldiceanu , Eric Sanlaville

European Journal of Operational Research, 2004, 153, pp.239--254

Article dans une revue hal-00442833v1

Introducing Global Constraints in CHIP

Nicolas Beldiceanu , Evelyne Contejean

Mathl. Comput. Modelling, 1994, 20 (12), pp.97--123

Article dans une revue hal-00442810v1

Extending CHIP in order to Solve Complex Scheduling and Placement Problems

Abderrahmane Aggoun , Nicolas Beldiceanu

Mathl. Comput. Modelling, 1993, 17 (7), pp.57--73

Article dans une revue hal-00442821v1
Deposit thumbnail

Towards the 30 by 30 Kunming-Montreal global biodiversity framework target : optimising graph connectivity in constraint-based spatial planning

Sulian Le Bozec-Chiffoleau , Dimitri Justeau-Allaire , Xavier Lorca , Charles Prud'Homme , Gilles Simonin et al.

IJCAI 2025 - International Joint Conference on Artificial Intelligence AI and Social Good, Aug 2025, Montréal, Canada. pp.9772-9780, ⟨10.24963/ijcai.2025/1086⟩

Communication dans un congrès hal-05273525v1
Deposit thumbnail

Bimodal Depth-First Search for Scalable GAC for AllDifferent

Sulian Le Bozec-Chiffoleau , Nicolas Beldiceanu , Charles Prud'Homme , Gilles Simonin , Xavier Lorca

IJCAI-25: Thirty-Fourth International Joint Conference on Artificial Intelligence, Aug 2025, Montreal, Canada. pp.2610-2618, ⟨10.24963/ijcai.2025/291⟩

Communication dans un congrès hal-05283980v1
Deposit thumbnail

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae

Ramiz Gindullin , Nicolas Beldiceanu , Jovial Cheukam-Ngouonou , Rémi Douence , Claude-Guy Quimper

AAAI 2024: 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. ⟨10.1609/aaai.v38i8.28641⟩

Communication dans un congrès hal-04460576v1
Deposit thumbnail

Fouille Interactive de Motifs à Haute Utilité

Arnold Hien , Samir Loudni , Maxime Garfagni , Albrecht Zimmermann , Nicolas Beldiceanu

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-04931411v1
Deposit thumbnail

Boolean-Arithmetic Equations: Acquisition and Uses

R Gindullin , Nicolas Beldiceanu , Jovial Cheukam Ngouonou , Rémi Douence , Claude-Guy Quimper

CPAIOR 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
Deposit thumbnail

Automata Based Multivariate Time Series Analysis for Anomaly Detection over Sliding Time Windows

Arnold Hien , Nicolas Beldiceanu , Claude-Guy Quimper , Null- I Restrepo

9th International Conference on Time Series and Forecasting, Jul 2023, Gran Canaria, Spain. ⟨10.3390/engproc2023039065⟩

Communication dans un congrès hal-04460520v1
Deposit thumbnail

Acquiring Maps of Interrelated Conjectures on Sharp Bounds

Nicolas Beldiceanu , Jovial Cheukam-Ngouonou , Rémi Douence , Ramiz Gindullin , Claude-Guy Quimper

CP 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
Deposit thumbnail

ASSISTANT: Learning and Robust Decision Support System for Agile Manufacturing Environments

Nicolas Beldiceanu , Alexandre Dolgui , Clemens Gonnermann , Gabriel Gonzalez-Castañé , Niki Kousi et al.

INCOM 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 Constraints

Nicolas Beldiceanu , Maria-Isabel Restrepo , Helmut Simonis

CPAIOR 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
Deposit thumbnail

CP-based cloud workload annotation as a preprocessing for anomaly detection using deep neural networks

Gilles Madi Wamba , Nicolas Beldiceanu

ITISE 2018 - International Conference onTime Series and Forecasting, Sep 2018, Granada, Spain. pp.1-12

Communication dans un congrès hal-01882896v1
Deposit thumbnail

AMONG Implied Constraints for Two Families of Time-Series Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis

CP 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
Deposit thumbnail

Generating Linear Invariants for a Conjunction of Automata Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis

CP 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
Deposit thumbnail

Green energy aware scheduling problem in virtualized datacenters

Gilles Madi Wamba , Yunbo Li , Anne-Cécile Orgerie , Nicolas Beldiceanu , Jean-Marc Menaud

ICPADS 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 Relations

Nicolas Beldiceanu , Mats Carlsson , Alban Derrien , Charles Prud'Homme , Andreas Schutt et al.

CPAIOR 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
Deposit thumbnail

Beyond the Holy Grail - Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Helmut Simonis

Workshop on Progress Towards the Holy Grail, Aug 2017, Melbourne, Australia

Communication dans un congrès hal-01651610v1
Deposit thumbnail

Cloud workload prediction and generation models

Gilles Madi Wamba , Yunbo Li , Anne-Cécile Orgerie , Nicolas Beldiceanu , Jean-Marc Menaud

SBAC-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

The TaskIntersection Constraint

Gilles Madi Wamba , Nicolas Beldiceanu

13th 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
Deposit thumbnail

Time-Series Constraints: Improvements and Application in CP and MIP Contexts

Ekaterina Arafailova , Nicolas Beldiceanu , Rémi Douence , Pierre Flener , María Andreína Francisco Rodríguez et al.

CPAIOR 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

A Modelling Pearl with Sortedness Constraints

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Xavier Lorca , Justin Pearson et al.

Global conference on artificial intelligence, Oct 2015, Tbilisi, Georgia

Communication dans un congrès hal-01186680v1
Deposit thumbnail

The EPOC project: Energy Proportional and Opportunistic Computing system

Nicolas Beldiceanu , Bárbara Dumas Feris , Philippe Gravey , Md Sabbir Hasan , Claude Jard et al.

International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal

Communication dans un congrès hal-01131602v1

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Maria Andreina , Justin Pearson

Principles 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

Propagating Regular Counting Constraints

Nicolas Beldiceanu , Pierre Flener , Justin Pearson , Pascal van Hentenryck

Twenty-Eighth AAAI Conference on Artificial Intelligence, Jul 2014, Québec, Canada

Communication dans un congrès hal-01086758v1

GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials

Naina Razakarison , Nicolas Beldiceanu , Mats Carlsson , Helmut Simonis

The 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 Constraints

Jean-Noël Monette , Nicolas Beldiceanu , Pierre Flener , Justin Pearson

19th 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-00874309v1

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker

Nicolas Beldiceanu , Ifrim Georgiana , A. Lenoir , Helmut Simonis

19th 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-00874326v1

A Model Seeker: Extracting Global Constraint Models From Positive Examples

Helmut Simonis , Nicolas Beldiceanu

2013 INFORMS Computing Society Conference, Jan 2013, Santa Fe, United States

Communication dans un congrès hal-00754361v1

A Synchronized Sweep Algorithm for the $k$-dimensional cumulative Constraint

Arnaud Letort , Mats Carlsson , Nicolas Beldiceanu

Integration 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

A Model Seeker: Extracting Global Constraint Models From Positive Examples

Helmut Simonis , Nicolas Beldiceanu

First workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile'12), Aug 2012, Montpellier, France

Communication dans un congrès hal-00754341v1

Building global constraint models from positive examples

Helmut Simonis , Nicolas Beldiceanu

21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany

Communication dans un congrès hal-00754354v1

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 Generalization

Nicolas Beldiceanu , Mats Carlsson , Thierry Petit , Jean-Charles Régin

20th 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

Some Research Challenges and Remarks on CP

Nicolas Beldiceanu , Pierre Flener , Jean-Noël Monette , Justin Pearson , Helmut Simonis

18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada

Communication dans un congrès hal-00754356v1

A Model Seeker: Extracting Global Constraint Models from Positive Examples

Nicolas Beldiceanu , Helmut Simonis

18th 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

A Scalable Sweep Algorithm for the cumulative Constraint

Arnaud Letort , Nicolas Beldiceanu , Mats Carlsson

18th 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

Using the Global Constraint Seeker for Learning Structured Constraint Models: A First Attempt

Nicolas Beldiceanu , Helmut Simonis

The 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

Algorithmes de filtrage pour des problèmes cumulatifs discrets avec dépassements de ressource

Alexis de Clercq , Nicolas Beldiceanu , Narendra Jussien

7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), 2011, Lyon, France. pp.1-15

Communication dans un congrès hal-00754020v1

Learning Structured Constraint Models: a First Attempt

Nicolas Beldiceanu , Helmut Simonis

The 22nd Irish Conference on Artificial Intelligence and Cognitive Science, AICS'11, 2011, Ulster, Ireland

Communication dans un congrès hal-00754027v1

Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource

Alexis de Clercq , Thierry Petit , Nicolas Beldiceanu , Narendra Jussien

Principles 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-00753375v1

A Constraint Seeker: Finding and Ranking Global Constraints from Examples

Nicolas Beldiceanu , Helmut Simonis

17th 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-00754010v1

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints

Thierry Petit , Nicolas Beldiceanu , Xavier Lorca

22th 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 Constraint

Thierry Petit , Jean-Charles Régin , Nicolas Beldiceanu

17th 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-00753385v1
Deposit thumbnail

La contrainte Increasing NValue

Nicolas Beldiceanu , Fabien Hermenier , Xavier Lorca , Thierry Petit

JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70

Communication dans un congrès inria-00520296v2

On Matrices, Automata, and Double Counting

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Justin Pearson

Integration 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.

Gilles Chabert , Nicolas Beldiceanu

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-00915701v1

The Increasing Nvalue Constraint

Nicolas Beldiceanu , Fabien Hermenier , Xavier Lorca , Thierry Petit

Integration 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-00915800v1

Six Ways of Integrating Symmetries within Non-Overlapping Constraints

Nicolas Beldiceanu , Mats Carlsson , Mohammed Sbihi , Charlotte Truchet , Stéphane Zampelli et al.

6th 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 Rectangles

Nicolas Beldiceanu , Mats Carlsson , Emmanuel Poder

5th 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

A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules

Nicolas Beldiceanu , Mats Carlsson , Julien Martin

14th 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

Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production

Nicolas Beldiceanu , Emmanuel Poder

International Conference on Automated Planning and Scheduling (ICAPS'08), 2008, Sidney, Australia. pp.264-271

Communication dans un congrès hal-00481545v1

A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production

Nicolas Beldiceanu , Emmanuel Poder

4th 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

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects

Nicolas Beldiceanu , Mats Carlsson , Emmanuel Poder , Rida Sadek , Charlotte Truchet

13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, United States. pp.180-194

Communication dans un congrès hal-00481558v1
Deposit thumbnail

Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins

Nicolas Beldiceanu , Xavier Lorca

Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France

Communication dans un congrès inria-00151230v1
Deposit thumbnail

Une contrainte cumulative continue multi-ressources avec des conso mmations - Productions en ressources Positives - Négatives

Nicolas Beldiceanu , Emmanuel Poder

Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France

Communication dans un congrès inria-00151193v1

Necessary Condition for Path Partitioning Constraints

Nicolas Beldiceanu , Xavier Lorca

4th 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
Deposit thumbnail

Filtrage basé sur des propriétés de graphe

Nicolas Beldiceanu , Matts Carlsson , Sophie Demassey , Thierry Petit

Deuxiè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

Undirected Forest Constraints

Nicolas Beldiceanu , Irit Katriel , Xavier Lorca

Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. pp.29-43

Communication dans un congrès hal-00481573v1
Deposit thumbnail

Partitionnement de graphes par des arbres sous contraintes de degré

Nicolas Beldiceanu , Pierre Flener , Xavier Lorca

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
Deposit thumbnail

Contraintes de Partitionnement par des Arbres

Nicolas Beldiceanu , Xavier Lorca , Irit Katriel

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-00085803v1

Graph-Based Filtering

Nicolas Beldiceanu , Mats Carlsson , Sophie Demassey , Thierry Petit

12th 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 graphes

Nicolas Beldiceanu , Mats Carlsson , Sophie Demassey , Thierry Petit

2èmes Journées Francophones de Programmation par Contraintes ({JFPC'06}, 2006, Nîmes, France. pp.11-25

Communication dans un congrès hal-00481575v1
Deposit thumbnail

Bornes de Caractéristiques de Graphes

Nicolas Beldiceanu , Thierry Petit , Guillaume Rochart

Premiè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 Constraint

Nicolas Beldiceanu , Pierre Flener , Xavier Lorca

International 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

ModelSeeker: Extracting Global Constraint Models from Positive Examples

Nicolas Beldiceanu , Helmut Simonis

Christian 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
Deposit thumbnail

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

Ekaterina Arafailova , Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , María Andreína Francisco Rodríguez et al. Autre publication scientifique hal-01370317v1

Global Constraint Catalog, 2nd Edition (revision a)

Nicolas Beldiceanu , Mats Carlsson , Jean-Xavier Rampon

2011

Autre publication scientifique hal-00754041v1
Deposit thumbnail

A GAC Algorithm for a Class of Global Counting Constraints

Nicolas Beldiceanu , Xavier Lorca , Thierry Petit

2010

Autre publication scientifique hal-00517122v1

Global Constraint Catalog Website

Sophie Demassey , Nicolas Beldiceanu

2010

Autre publication scientifique hal-00485457v1

Compiling Business Rules in a Geometric Constraint over k-Dimensional Objects and Shapes. SICS Technical report T2009-02.

Nicolas Beldiceanu , Mats Carlsson , Julien Martin

2009

Autre publication scientifique hal-00481528v1

Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01

Nicolas Beldiceanu , Magnus Agren , Mats Carlsson , Mohammed Sbihi , Charlotte Truchet et al.

2009

Autre publication scientifique hal-00481532v1

Programmation par Contraintes, École jeunes chercheurs en programmation. Slides available at http://ejcp2008.inria.fr/programme.htm

Nicolas Beldiceanu

2008

Autre publication scientifique hal-00481549v1

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08.

Nicolas Beldiceanu , Emmanuel Poder , Rida Sadek , Mats Carlsson , Charlotte Truchet

2007

Autre publication scientifique hal-00481565v1

Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems, Technical report 2006-20 of Uppsala University.

Nicolas Beldiceanu , Pierre Flener , Xavier Lorca

2006

Autre publication scientifique hal-00481578v1

Global Constraints: Introduction and Graph-Based Representation. Second International Summer School of the Association for Constraint Programming. Samos, Greece.

Nicolas Beldiceanu

2006

Autre publication scientifique hal-00481582v1

Graph-Properties Based Filtering. SICS technical report T2006-10.

Nicolas Beldiceanu , Mats Carlsson , Sophie Demassey , Thierry Petit

2006

Autre publication scientifique hal-00481579v1
Deposit thumbnail

Global Constraint Catalog

Nicolas Beldiceanu , Mats Carlsson , Jean-Xavier Rampon

2005

Autre publication scientifique hal-00485396v1
Deposit thumbnail

Contraintes Globales : Aspects Algorithmiques et Déclaratifs

Nicolas Beldiceanu

Intelligence artificielle [cs.AI]. Université de Paris 6, 2003

HDR tel-02927324v1