Papers
3
Total Citations
103
H-Index
3
About
Claude Michel is a leading researcher in the field of constraint programming, with a primary focus on numerical constraint systems and global filtering algorithms. His major contributions center on developing efficient and rigorous methods for handling complex quadratic equations and inequations within constraint satisfaction problems. Michel's most influential work, "Efficient and Safe Global Constraints for Handling Numerical Constraint Systems" (2005, 56 citations), introduces the Quad global constraint, which combines splitting techniques, local consistencies, and interval methods to produce tight, safe linear relaxations of quadratic subsystems. This foundational paper, along with his earlier work "A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations" (2002, 29 citations) and its rigorous extension (2005, 18 citations), has significantly advanced the reliability and performance of branch-and-prune algorithms. Michel's research is particularly notable for its emphasis on safety and correctness, ensuring that numerical solutions are both efficient and mathematically guaranteed. His work remains essential reading for researchers and students working on numerical constraint solving, interval methods, and global optimization.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3A Rigorous Global Filtering Algorithm for Quadratic Constraints*18 citations · 2005