×

zbMATH — the first resource for mathematics

Rueher, Michel

Compute Distance To:
Author ID: rueher.michel Recent zbMATH articles by "Rueher, Michel"
Published as: Rueher, M.; Rueher, Michel
Documents Indexed: 25 Publications since 1993, including 2 Books

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 88 times in 73 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
6
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
An efficient and safe framework for solving optimization problems. Zbl 1108.65065
Lebbah, Yahia; Michel, Claude; Rueher, Michel
6
2007
Solving constraints over floating-point numbers. Zbl 1067.68658
Michel, Claude; Rueher, Michel; Lebbah, Yahia
5
2001
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
Dynamic optimization of interval narrowing algorithms. Zbl 0920.68030
Lhomme, Olivier; Gotlieb, Arnaud; Rueher, Michel
4
1998
A global constraint combining a sum constraint and difference constraints. Zbl 1044.68794
Régin, Jean-Charles; Rueher, Michel
3
2000
A constraint programming approach for solving rigid geometric systems. Zbl 1044.68771
Jermann, Christophe; Trombettoni, Gilles; Neveu, Bertrand; 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
Relationships between partial consistencies over continuous domains. Zbl 0949.68100
Collavizza, Hélène; Delobel, François; Rueher, Michel
2
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
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
Régin, Jean-Charles (ed.); Rueher, Michel (ed.)
1
2004
Concurrent cooperating solvers over reals. Zbl 0888.65066
Rueher, Michel; Solnon, Christine
1
1997
Improved filtering for weighted circuit constraints. Zbl 1309.90115
Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel
6
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
Régin, Jean-Charles (ed.); Rueher, Michel (ed.)
1
2004
Solving constraints over floating-point numbers. Zbl 1067.68658
Michel, Claude; Rueher, Michel; Lebbah, Yahia
5
2001
A global constraint combining a sum constraint and difference constraints. Zbl 1044.68794
Régin, Jean-Charles; Rueher, Michel
3
2000
A constraint programming approach for solving rigid geometric systems. Zbl 1044.68771
Jermann, Christophe; Trombettoni, Gilles; Neveu, Bertrand; 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
2
1998
Concurrent cooperating solvers over reals. Zbl 0888.65066
Rueher, Michel; Solnon, Christine
1
1997
all top 5

Cited by 154 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 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 Tamura, Naoya
2 Truchet, Charlotte
2 Van Hentenryck, Pascal
1 Albert, Elvira
1 Aliquintui, Damir
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 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 Gange, Graeme
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
1 Lam, Edward
1 Lang, Bruno
1 Lehuédé, Fabien
...and 54 more Authors

Citations by Year