| Automatic test data generation using constraint solving techniques A Gotlieb, B Botella, M Rueher ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998 | 382 | 1998 |
| A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher Computational logic—CL 2000: first international conference london, UK …, 2000 | 153 | 2000 |
| Comparing partial consistencies H Collavizza, F Delobel, M Rueher Reliable computing 5 (3), 213-228, 1999 | 148 | 1999 |
| 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 | 90 | 2005 |
| Solving constraints over floating-point numbers C Michel, M Rueher, Y Lebbah Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 89 | 2001 |
| A distributed cooperating constraints solving system P Marti, M Rueher International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995 | 77 | 1995 |
| Dynamic optimization of interval narrowing algorithms O Lhomme, A Gotlieb, M Rueher The Journal of Logic Programming 37 (1-3), 165-183, 1998 | 64 | 1998 |
| CPBPV: a constraint-programming framework for bounded program verification H Collavizza, M Rueher, P Van Hentenryck Constraints 15 (2), 238-264, 2010 | 63 | 2010 |
| Improved filtering for weighted circuit constraints P Benchimol, WJ Hoeve, JC Régin, LM Rousseau, M Rueher Constraints 17, 205-233, 2012 | 62 | 2012 |
| Extending consistent domains of numeric CSP H Collavizza, F Delobel, M Rueher IJCAI 99, 406-413, 1999 | 56 | 1999 |
| Exploration of the capabilities of constraint programming for software verification H Collavizza, M Rueher Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006 | 55 | 2006 |
| A note on partial consistencies over continuous domains H Collavizza, F Delobel, M Rueher Principles and Practice of Constraint Programming—CP98: 4th International …, 1998 | 55 | 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 | 51 | 2009 |
| 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 | 48 | 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 | 46 | 2008 |
| Boosting the Interval Narrowing Al-gorithm O Lhomme, A Gotlieb, M Rueher, P Taillibert | 46 | 1996 |
| 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 | 45 | 2000 |
| 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 |
| A constraint programming approach for solving rigid geometric systems C Jermann, G Trombettoni, B Neveu, M Rueher Principles and Practice of Constraint Programming–CP 2000: 6th International …, 2000 | 39 | 2000 |
| Concurrent cooperating solvers over reals M Rueher, C Solnon Reliable Computing 3 (3), 325-333, 1997 | 39 | 1997 |
Claude MichelI3S, University of Nice-Sophia AntipolisAdresse e-mail validée de i3s.unice.fr
