| Automatic test data generation using constraint solving techniques A Gotlieb, B Botella, M Rueher ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998 | 396 | 1998 |
| A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher International Conference on Computational Logic, 399-413, 2000 | 161 | 2000 |
| Comparing partial consistencies H Collavizza, F Delobel, M Rueher Reliable computing 5 (3), 213-228, 1999 | 156 | 1999 |
| Solving constraints over floating-point numbers C Michel, M Rueher, Y Lebbah Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 94 | 2001 |
| Efficient and safe global constraints for handling numerical constraint systems Y Lebbah, C Michel, M Rueher, D Daney, JP Merlet SIAM Journal on Numerical Analysis 42 (5), 2076-2097, 2005 | 91 | 2005 |
| A distributed cooperating constraints solving system P Marti, M Rueher International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995 | 77 | 1995 |
| Improved filtering for weighted circuit constraints P Benchimol, WJ Hoeve, JC Régin, LM Rousseau, M Rueher Constraints 17, 205-233, 2012 | 70 | 2012 |
| CPBPV: a constraint-programming framework for bounded program verification H Collavizza, M Rueher, P Van Hentenryck Constraints 15 (2), 238-264, 2010 | 67 | 2010 |
| Dynamic optimization of interval narrowing algorithms O Lhomme, A Gotlieb, M Rueher The Journal of Logic Programming 37 (1-3), 165-183, 1998 | 63 | 1998 |
| Extending consistent domains of numeric CSP H Collavizza, F Delobel, M Rueher IJCAI 99, 406-413, 1999 | 61 | 1999 |
| A note on partial consistencies over continuous domains H Collavizza, F Delobel, M Rueher Principles and Practice of Constraint Programming—CP98: 4th International …, 1998 | 61 | 1998 |
| Time-minimal path planning in dynamic current fields M Soulignac, P Taillibert, M Rueher 2009 IEEE International Conference on Robotics and Automation, 2473-2479, 2009 | 56 | 2009 |
| Exploration of the capabilities of constraint programming for software verification H Collavizza, M Rueher International Conference on Tools and Algorithms for the Construction and …, 2006 | 56 | 2006 |
| A global filtering algorithm for handling systems of quadratic equations and inequations Y Lebbah, M Rueher, C Michel Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002 | 51 | 2002 |
| Adapting the wavefront expansion in presence of strong currents M Soulignac, P Taillibert, M Rueher 2008 IEEE International Conference on Robotics and Automation, 1352-1358, 2008 | 48 | 2008 |
| A global constraint combining a sum constraint and difference constraints JC Régin, M Rueher Principles and Practice of Constraint Programming–CP 2000: 6th International …, 2000 | 46 | 2000 |
| Boosting the Interval Narrowing Al-gorithm O Lhomme, A Gotlieb, M Rueher, P Taillibert | 43 | 1996 |
| An efficient and safe framework for solving optimization problems Y Lebbah, C Michel, M Rueher Journal of computational and applied mathematics 199 (2), 372-377, 2007 | 41 | 2007 |
| Cpbpv: A constraint-programming framework for bounded program verification H Collavizza, M Rueher, P Van Hentenryck Principles and Practice of Constraint Programming: 14th International …, 2008 | 40 | 2008 |
| Concurrent cooperating solvers over reals M Rueher, C Solnon Reliable Computing 3 (3), 325-333, 1997 | 40 | 1997 |
Claude MichelI3S, University of Nice-Sophia AntipolisVerified email at i3s.unice.fr
