×
Compute Distance To:
Author ID: rueher.michel Recent zbMATH articles by "Rueher, Michel"
Published as: Rueher, Michel; Rueher, M.

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 89 times in 75 Documents Cited by Year
Efficient and safe global constraints for handling numerical constraint systems. Zbl 1082.65051
Lebbah, Yahia; Michel, Claude; Rueher, Michel; Daney, David; Merlet, Jean-Pierre
14
2005
A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090
Lebbah, Yahia; Michel, Claude; Rueher, Michel
12
2005
Comparing partial consistencies. Zbl 1130.65310
Collavizza, Hélène; Delobel, François; Rueher, Michel
9
1999
Improved filtering for weighted circuit constraints. Zbl 1309.90115
Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel
7
2012
Solving constraints over floating-point numbers. Zbl 1067.68658
Michel, Claude; Rueher, Michel; Lebbah, Yahia
6
2001
An efficient and safe framework for solving optimization problems. Zbl 1108.65065
Lebbah, Yahia; Michel, Claude; Rueher, Michel
6
2007
The weighted spanning tree constraint revisited. Zbl 1285.68162
Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel; van Hoeve, Willem-Jan
6
2010
Dynamic optimization of interval narrowing algorithms. Zbl 0920.68030
Lhomme, Olivier; Gotlieb, Arnaud; Rueher, Michel
4
1998
Efficient handling of universally quantified inequalities. Zbl 1183.68577
Goldsztejn, Alexandre; Michel, Claude; Rueher, Michel
4
2009
Comparing partial consistencies. Zbl 0947.65069
Collavizza, Hélène; Delobel, François; Rueher, Michel
4
1999
A constraint programming approach for solving rigid geometric systems. Zbl 1044.68771
Jermann, Christophe; Trombettoni, Gilles; Neveu, Bertrand; Rueher, Michel
3
2000
A global constraint combining a sum constraint and difference constraints. Zbl 1044.68794
Régin, Jean-Charles; Rueher, Michel
3
2000
A CLP framework for computing structural test data. Zbl 0983.68583
Gotlieb, Arnaud; Botella, Bernard; Rueher, Michel
3
2000
Inequality-sum: a global constraint capturing the objective function. Zbl 1104.90051
Régin, Jan-Charles; Rueher, Michel
2
2005
Concurrent cooperating solvers over reals. Zbl 0888.65066
Rueher, Michel; Solnon, Christine
1
1997
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. First international conference, CPAIOR 2004, Nice, France, April 20–22, 2004. Proceedings. Zbl 1051.68022
1
2004
Relationships between partial consistencies over continuous domains. Zbl 0949.68100
Collavizza, Hélène; Delobel, François; Rueher, Michel
1
1998
Improving the Held and Karp approach with constraint programming. Zbl 1285.68149
Benchimol, Pascal; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel; van Hoeve, Willem-Jan
1
2010
CPBPV: a constraint-programming framework for bounded program verification. Zbl 1213.68173
Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal
1
2010
Exploration of the capabilities of constraint programming for software verification. Zbl 1180.68111
Collavizza, Hélène; Rueher, Michel
1
2006
Improved filtering for weighted circuit constraints. Zbl 1309.90115
Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel
7
2012
The weighted spanning tree constraint revisited. Zbl 1285.68162
Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel; van Hoeve, Willem-Jan
6
2010
Improving the Held and Karp approach with constraint programming. Zbl 1285.68149
Benchimol, Pascal; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel; van Hoeve, Willem-Jan
1
2010
CPBPV: a constraint-programming framework for bounded program verification. Zbl 1213.68173
Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal
1
2010
Efficient handling of universally quantified inequalities. Zbl 1183.68577
Goldsztejn, Alexandre; Michel, Claude; Rueher, Michel
4
2009
An efficient and safe framework for solving optimization problems. Zbl 1108.65065
Lebbah, Yahia; Michel, Claude; Rueher, Michel
6
2007
Exploration of the capabilities of constraint programming for software verification. Zbl 1180.68111
Collavizza, Hélène; Rueher, Michel
1
2006
Efficient and safe global constraints for handling numerical constraint systems. Zbl 1082.65051
Lebbah, Yahia; Michel, Claude; Rueher, Michel; Daney, David; Merlet, Jean-Pierre
14
2005
A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090
Lebbah, Yahia; Michel, Claude; Rueher, Michel
12
2005
Inequality-sum: a global constraint capturing the objective function. Zbl 1104.90051
Régin, Jan-Charles; Rueher, Michel
2
2005
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. First international conference, CPAIOR 2004, Nice, France, April 20–22, 2004. Proceedings. Zbl 1051.68022
1
2004
Solving constraints over floating-point numbers. Zbl 1067.68658
Michel, Claude; Rueher, Michel; Lebbah, Yahia
6
2001
A constraint programming approach for solving rigid geometric systems. Zbl 1044.68771
Jermann, Christophe; Trombettoni, Gilles; Neveu, Bertrand; Rueher, Michel
3
2000
A global constraint combining a sum constraint and difference constraints. Zbl 1044.68794
Régin, Jean-Charles; Rueher, Michel
3
2000
A CLP framework for computing structural test data. Zbl 0983.68583
Gotlieb, Arnaud; Botella, Bernard; Rueher, Michel
3
2000
Comparing partial consistencies. Zbl 1130.65310
Collavizza, Hélène; Delobel, François; Rueher, Michel
9
1999
Comparing partial consistencies. Zbl 0947.65069
Collavizza, Hélène; Delobel, François; Rueher, Michel
4
1999
Dynamic optimization of interval narrowing algorithms. Zbl 0920.68030
Lhomme, Olivier; Gotlieb, Arnaud; Rueher, Michel
4
1998
Relationships between partial consistencies over continuous domains. Zbl 0949.68100
Collavizza, Hélène; Delobel, François; Rueher, Michel
1
1998
Concurrent cooperating solvers over reals. Zbl 0888.65066
Rueher, Michel; Solnon, Christine
1
1997
all top 5

Cited by 156 Authors

6 Rueher, Michel
5 Araya, Ignacio J.
5 Goldsztejn, Alexandre
5 Neveu, Bertrand
4 Chabert, Gilles
4 Domes, Ferenc
4 Neumaier, Arnold
4 Trombettoni, Gilles
3 Floudas, Christodoulos Achilleus
3 Granvilliers, Laurent
3 Lebbah, Yahia
3 Michel, Claude
3 Misener, Ruth
3 van Hoeve, Willem-Jan
3 Yamamura, Kiyotaka
2 Fages, Jean-Guillaume
2 Gange, Graeme
2 Hooker, John N. jun.
2 Jermann, Christophe
2 Kearfott, Baker
2 Nataraj, Paluri S. V.
2 Ramdani, Nacim
2 Régin, Jean-Charles
2 Rousseau, Louis-Martin
2 Stuckey, Peter James
2 Tamura, Naoya
2 Truchet, Charlotte
2 Van Hentenryck, Pascal
1 Albert, Elvira
1 Aliquintui, Damir
1 Amadini, Roberto
1 Apt, Krzysztof Rafal
1 Ardiles, Franco
1 Arounassalame, M.
1 Bagnara, Roberto
1 Ballerstein, Martin
1 Bardin, Sébastien
1 Bart, Anicet
1 Barton, Paul I.
1 Beck, J. Christopher
1 Beelitz, Thomas
1 Benchimol, Pascal
1 Benhamou, Frédéric
1 Bertagnon, Alessandro
1 Bessiere, Christian
1 Bhartiya, Sharad
1 Bischof, Christian H.
1 Bobot, François
1 Boldo, Sylvie
1 Boukouvala, Fani
1 Bourreau, Eric
1 Brain, Martin
1 Cambazard, Hadrien
1 Carlier, Matthieu
1 Castaño, Fabian
1 Chan, Peter
1 Chihani, Zakaria
1 Ciré, André Augusto
1 Collavizza, Hélène
1 Combastel, Christophe
1 Csendes, Tibor
1 Cuoq, Pascal
1 Cymer, Radosław
1 de la Gorce, Martin
1 Dekker, Jip J.
1 del Vado Vírseda, Rafael
1 Delaite, Antoine
1 D’silva, Vijay
1 Eirinakis, Pavlos
1 Estévez-Martín, Sonia
1 Faltings, Boi Volkert
1 Fernández, Antonio J.
1 Foufou, Sebti
1 Gallois-Wong, Diane
1 Gómez-Zamalloa, Miguel
1 Gori, Roberta
1 Gotlieb, Arnaud
1 Grabisch, Michel
1 Griggio, Alberto
1 Grimstad, Bjarne
1 Guilbeau, Jared T.
1 Hains, Gaétan
1 Haller, Leopold
1 Hebrard, Emmanuel
1 Hiroux, Michael
1 Hladík, Milan
1 Hnich, Brahim
1 Hortalá-González, Teresa
1 Hossain, Md. Istiaq
1 Houndji, Vinasetan Ratheil
1 Hounkonnou, Mahouton Norbert
1 Jaulin, Luc
1 Joseph, Rémy-Robert
1 Karhbet, Sam D.
1 Kienle, Achim
1 Kinable, Joris
1 Kovács, András
1 Kröning, Daniel
1 Kunde, Christian
1 Labreuche, Christophe
...and 56 more Authors

Citations by Year