L
Laurent Granvilliers
Researcher at University of Nantes
Publications - 62
Citations - 1568
Laurent Granvilliers is an academic researcher from University of Nantes. The author has contributed to research in topics: Constraint programming & Local consistency. The author has an hindex of 19, co-authored 61 publications receiving 1533 citations. Previous affiliations of Laurent Granvilliers include IRIN & University of Orléans.
Papers
More filters
Proceedings Article
Revising hull and box consistency
TL;DR: HC4, an algorithm to enforce hull consistency without decomposing complex constraints into primitives is presented, and BC4, a new algorithm to efficiently enforce box consistency is described, which is shown to significantly outperform both HC3 and BC3.
Journal ArticleDOI
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
TL;DR: RealPaver is an interval software for modeling and solving nonlinear systems which efficiently combine interval methods and constraint satisfaction techniques.
Book ChapterDOI
Continuous and Interval Constraints
TL;DR: This chapter reviews that continuous constraint solving has been widely studied in several fields of applied mathematics and computer science and contrasts that continuous and interval constraints are generally contrasted with non negative integer or more generally discrete constraints.
Proceedings ArticleDOI
Symbolic-interval cooperation in constraint programming
TL;DR: This paper surveys the field of cooperative constraint solving for a constraint programming perspective with an emphasis on combinations of symbolic and interval methods.
Journal ArticleDOI
On the Combination of Interval Constraint Solvers
TL;DR: A cooperative strategy of application of elementary solvers is designed in order to accelerate the whole computation while weakening the local domain contractions and is implemented in a prototype solver which efficiently combines interval-based local consistencies and the multidimensional interval Newton method.