| Automatic test data generation using constraint solving techniques A Gotlieb, B Botella, M Rueher ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998 | 390 | 1998 |
| A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher International Conference on Computational Logic, 399-413, 2000 | 159 | 2000 |
| Comparing partial consistencies H Collavizza, F Delobel, M Rueher Reliable computing 5 (3), 213-228, 1999 | 155 | 1999 |
| Solving constraints over floating-point numbers C Michel, M Rueher, Y Lebbah Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 93 | 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 | 87 | 2005 |
| A distributed cooperating constraints solving system P Marti, M Rueher International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995 | 76 | 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 |
| 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 |
| CPBPV: a constraint-programming framework for bounded program verification H Collavizza, M Rueher, P Van Hentenryck Constraints 15 (2), 238-264, 2010 | 62 | 2010 |
| Extending consistent domains of numeric CSP H Collavizza, F Delobel, M Rueher IJCAI 99, 406-413, 1999 | 59 | 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 | 59 | 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 | 55 | 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 | 55 | 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 | 50 | 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 |
| 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 algorithm O Lhomme, A Gotlieb, M Rueher, P Taillibert | 44 | 1996 |
| 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 | 39 | 2008 |
| Modal intervals revisited: a mean-value extension to generalized intervals A Goldsztejn, D Daney, M Rueher, P Taillibert Proceedings of QCP-2005 (Quantification in Constraint Programming …, 2005 | 39 | 2005 |
| Concurrent cooperating solvers over reals M Rueher, C Solnon Reliable Computing 3 (3), 325-333, 1997 | 39 | 1997 |
Claude MichelI3S, University of Nice-Sophia Antipolis在 i3s.unice.fr 的电子邮件经过验证
