Papers
4
Total Citations
143
H-Index
4
About
Michel Rueher is a leading figure in constraint programming and numerical constraint solving, with a career dedicated to making computational reasoning over continuous domains both rigorous and efficient. His core research focuses on the intersection of global constraints, interval analysis, and safe numerical methods. Rueher’s major contribution is the development of filtering algorithms that combine linear relaxations with branch-and-prune techniques to handle systems of quadratic equations and inequations. His seminal 2005 paper on "Efficient and Safe Global Constraints" (56 citations) introduced Quad, a global constraint that tightens bounds via a safe linear relaxation, ensuring correctness even in the presence of numerical errors. This work laid the foundation for rigorous global optimization and constraint satisfaction. In robotics, his 2008 paper on path planning in strong currents (40 citations) corrected critical flaws in wavefront expansion algorithms, guaranteeing physically feasible paths. With over 100 citations across his top works, Rueher’s legacy lies in bridging theoretical rigor with practical safety—making his methods indispensable for applications ranging from engineering design to autonomous navigation.
Research Focus
Key Achievements
Top Papers
- 1
- 2Adapting the wavefront expansion in presence of strong currents40 citations · 2008
- 3
- 4A Rigorous Global Filtering Algorithm for Quadratic Constraints*18 citations · 2005