Michel Rueher
TitreCitée parAnnée
Automatic test data generation using constraint solving techniques
A Gotlieb, B Botella, M Rueher
ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998
3411998
A clp framework for computing structural test data
A Gotlieb, B Botella, M Rueher
Computational Logic—CL 2000, 399-413, 2000
1362000
Comparing partial consistencies
H Collavizza, F Delobel, M Rueher
Reliable computing 5 (3), 213-228, 1999
1271999
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
782005
Solving constraints over floating-point numbers
C Michel, M Rueher, Y Lebbah
International Conference on Principles and Practice of Constraint …, 2001
732001
A distributed cooperating constraints solving system
P Marti, M Rueher
International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995
671995
Dynamic optimization of interval narrowing algorithms
O Lhomme, A Gotlieb, M Rueher
The Journal of Logic Programming 37 (1-3), 165-183, 1998
621998
Extending consistent domains of numeric CSP
H Collavizza, F Delobel, M Rueher
IJCAI 99, 406-413, 1999
541999
CPBPV: a constraint-programming framework for bounded program verification
H Collavizza, M Rueher, P Van Hentenryck
Constraints 15 (2), 238-264, 2010
502010
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
502006
A note on partial consistencies over continuous domains
H Collavizza, F Delobel, M Rueher
International Conference on Principles and Practice of Constraint …, 1998
491998
A global filtering algorithm for handling systems of quadratic equations and inequations
Y Lebbah, M Rueher, C Michel
International Conference on Principles and Practice of Constraint …, 2002
472002
A global constraint combining a sum constraint and difference constraints
JC Régin, M Rueher
International Conference on Principles and Practice of Constraint …, 2000
452000
Boosting the Interval Narrowing Al-gorithm
O Lhomme, A Gotlieb, M Rueher, P Taillibert
Logic Programming: Proceedings of the 1996 Joint International Conference …, 1996
451996
A constraint programming approach for solving rigid geometric systems
C Jermann, G Trombettoni, B Neveu, M Rueher
International Conference on Principles and Practice of Constraint …, 2000
392000
Concurrent cooperating solvers over reals
M Rueher, C Solnon
Reliable Computing 3 (3), 325-333, 1997
391997
Time-minimal path planning in dynamic current fields
M Soulignac, P Taillibert, M Rueher
Robotics and Automation, 2009. ICRA'09. IEEE International Conference on …, 2009
362009
Cpbpv: A constraint-programming framework for bounded program verification
H Collavizza, M Rueher, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 2008
362008
Adapting the wavefront expansion in presence of strong currents
M Soulignac, P Taillibert, M Rueher
Robotics and Automation, 2008. ICRA 2008. IEEE International Conference on …, 2008
362008
Improved filtering for weighted circuit constraints
P Benchimol, WJ Van Hoeve, JC Régin, LM Rousseau, M Rueher
Constraints 17 (3), 205-233, 2012
352012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20