Nicolas Beldiceanu
Prof. Nicolas Beldiceanu
33%
Libre accès
15
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
- 15
- 6
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 4
- 1
- 1
- 1
Undirected Forest ConstraintsAnnals of Operations Research, 2009, 171 (1), pp.127-147. ⟨10.1007/s10479-008-0374-6⟩
Article dans une revue
hal-00481471v1
|
|
Combining tree Partitioning, Precedence, and Incomparability ConstraintsConstraints, 2008, 13 (4), pp.459-489. ⟨10.1007/s10601-007-9040-x⟩
Article dans une revue
hal-00481533v1
|
A Modelling Pearl with Sortedness ConstraintsGlobal conference on artificial intelligence, Oct 2015, Tbilisi, Georgia
Communication dans un congrès
hal-01186680v1
|
|
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
|
|
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
|
|
|
|
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
|
|
|
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
|
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
|
|
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
|
|
|
|
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
|
|
|
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
|
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
|
|
|
A GAC Algorithm for a Class of Global Counting Constraints2010
Autre publication scientifique
hal-00517122v1
|
Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems, Technical report 2006-20 of Uppsala University.2006
Autre publication scientifique
hal-00481578v1
|