Accéder directement au contenu

Nicolas Beldiceanu

Prof. Nicolas Beldiceanu
4
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

charlotte-truchet

Six Ways of Integrating Symmetries within Non-Overlapping Constraints

 Nicolas Beldiceanu , Mats Carlsson , Mohammed Sbihi , Charlotte Truchet , Stéphane Zampelli
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

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

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

 Nicolas Beldiceanu , Magnus Agren , Mats Carlsson , Mohammed Sbihi , Charlotte Truchet
2009
Autre publication scientifique hal-00481532v1

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