Accéder directement au contenu

Nicolas Beldiceanu

Prof. Nicolas Beldiceanu
24%
Libre accès
17
Documents
Affiliations actuelles
  • 489559
  • 1088577
Identifiants chercheurs
Contact

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

thierry-petit

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

Bounds of graph properties

Nicolas Beldiceanu , Thierry Petit , Guillaume Rochart
RAIRO - Operations Research, 2006, pp.742-746
Article dans une revue hal-00442811v1

A Modelling Pearl with Sortedness Constraints

Nicolas Beldiceanu , Mats Carlsson , Pierre Flener , Xavier Lorca , Justin Pearson
Global conference on artificial intelligence, Oct 2015, Tbilisi, Georgia
Communication dans un congrès hal-01186680v1

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

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 hal-00753385v1

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

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

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 hal-00915800v1
Image document

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

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
Image document

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
Image document

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