Concepedia

Nicolas Beldiceanu

NB

14

Publications

508

Citations

11

H-Index

1990

Active since

Affiliations

Kista Photonics Research Center(Current)

Centre National de la Recherche Scientifique

Nantes Université

Laboratoire d'informatique de Nantes Atlantique

École Nationale Supérieure des Mines de Paris

Nicolas Beldiceanu is an author at Kista Photonics Research Center specializing in engineering, formal methods, and mathematical programming.

Top concepts

EngineeringFormal MethodsComputer ScienceMathematical ProgrammingCombinatorial OptimizationAutomated ReasoningFormal VerificationSystems EngineeringComputational ComplexityConstraints

Publications per year

1990–2016

14

Publications

14

Global Constraint Catalog

Nicolas Beldiceanu · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2015 · 169 citations · Full text

Global Constraint Catalogue: Past, Present and Future

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey et al. · Constraints · 2007 · 95 citations

Mathematical Programming, Constraint Solving, Engineering +9

Arc-Consistency for a Chain of Lexicographic Ordering Constraints

Mats Carlsson, Nicolas Beldiceanu · 2002 · 44 citations · Full text

Reformulation of Global Constraints Based on Constraints Checkers

Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne et al. · Constraints · 2005 · 31 citations

Mathematical Programming, Constraint Solving, Global Constraints +7

Revisiting the Lexicographic Ordering Constraint

Mats Carlsson, Nicolas Beldiceanu · 2002 · 27 citations · Full text

Rows per page

1–5 of 14