Accéder directement au contenu

Nicolas Beldiceanu

Prof. Nicolas Beldiceanu
100%
Libre accès
6
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

"remi-douence"
Image document

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
Communication dans un congrès hal-04460576v1
Image document

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

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

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