Edit Profile (opens in new tab) Rueher, Michel Compute Distance To: Compute Author ID: rueher.michel Published as: Rueher, Michel; Rueher, M. Documents Indexed: 22 Publications since 1993 3 Contributions as Editor Co-Authors: 20 Co-Authors with 24 Joint Publications 359 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Michel, Claude 6 Régin, Jean-Charles 5 Collavizza, Hélène 4 Lebbah, Yahia 4 van Hoeve, Willem-Jan 3 Delobel, François 3 Rousseau, Louis-Martin 2 Benchimol, Pascal 2 Gotlieb, Arnaud 2 Lhomme, Olivier 2 Solnon, Christine 1 Batnini, Heikel 1 Botella, Bernard 1 Daney, David 1 Goldsztejn, Alexandre 1 Jermann, Christophe 1 Merlet, Jean-Pierre 1 Neveu, Bertrand 1 Trombettoni, Gilles 1 Van Hentenryck, Pascal all top 5 Serials 5 Constraints 2 Reliable Computing 1 Journal of Computational and Applied Mathematics 1 SIAM Journal on Numerical Analysis 1 The Journal of Logic Programming 1 Revue d’Intelligence Artificielle 1 RAIRO. Operations Research 1 Lecture Notes in Computer Science Fields 16 Computer science (68-XX) 12 Operations research, mathematical programming (90-XX) 8 Numerical analysis (65-XX) 3 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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.65051Lebbah, Yahia; Michel, Claude; Rueher, Michel; Daney, David; Merlet, Jean-Pierre 14 2005 A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090Lebbah, Yahia; Michel, Claude; Rueher, Michel 12 2005 Comparing partial consistencies. Zbl 1130.65310Collavizza, Hélène; Delobel, François; Rueher, Michel 9 1999 Improved filtering for weighted circuit constraints. Zbl 1309.90115Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel 7 2012 Solving constraints over floating-point numbers. Zbl 1067.68658Michel, Claude; Rueher, Michel; Lebbah, Yahia 6 2001 An efficient and safe framework for solving optimization problems. Zbl 1108.65065Lebbah, Yahia; Michel, Claude; Rueher, Michel 6 2007 The weighted spanning tree constraint revisited. Zbl 1285.68162Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel; van Hoeve, Willem-Jan 6 2010 Dynamic optimization of interval narrowing algorithms. Zbl 0920.68030Lhomme, Olivier; Gotlieb, Arnaud; Rueher, Michel 4 1998 Efficient handling of universally quantified inequalities. Zbl 1183.68577Goldsztejn, Alexandre; Michel, Claude; Rueher, Michel 4 2009 Comparing partial consistencies. Zbl 0947.65069Collavizza, Hélène; Delobel, François; Rueher, Michel 4 1999 A constraint programming approach for solving rigid geometric systems. Zbl 1044.68771Jermann, Christophe; Trombettoni, Gilles; Neveu, Bertrand; Rueher, Michel 3 2000 A global constraint combining a sum constraint and difference constraints. Zbl 1044.68794Régin, Jean-Charles; Rueher, Michel 3 2000 A CLP framework for computing structural test data. Zbl 0983.68583Gotlieb, Arnaud; Botella, Bernard; Rueher, Michel 3 2000 Inequality-sum: a global constraint capturing the objective function. Zbl 1104.90051Régin, Jan-Charles; Rueher, Michel 2 2005 Concurrent cooperating solvers over reals. Zbl 0888.65066Rueher, 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.68100Collavizza, Hélène; Delobel, François; Rueher, Michel 1 1998 Improving the Held and Karp approach with constraint programming. Zbl 1285.68149Benchimol, 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.68173Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal 1 2010 Exploration of the capabilities of constraint programming for software verification. Zbl 1180.68111Collavizza, Hélène; Rueher, Michel 1 2006 Improved filtering for weighted circuit constraints. Zbl 1309.90115Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel 7 2012 The weighted spanning tree constraint revisited. Zbl 1285.68162Ré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.68149Benchimol, 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.68173Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal 1 2010 Efficient handling of universally quantified inequalities. Zbl 1183.68577Goldsztejn, Alexandre; Michel, Claude; Rueher, Michel 4 2009 An efficient and safe framework for solving optimization problems. Zbl 1108.65065Lebbah, Yahia; Michel, Claude; Rueher, Michel 6 2007 Exploration of the capabilities of constraint programming for software verification. Zbl 1180.68111Collavizza, Hélène; Rueher, Michel 1 2006 Efficient and safe global constraints for handling numerical constraint systems. Zbl 1082.65051Lebbah, Yahia; Michel, Claude; Rueher, Michel; Daney, David; Merlet, Jean-Pierre 14 2005 A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090Lebbah, Yahia; Michel, Claude; Rueher, Michel 12 2005 Inequality-sum: a global constraint capturing the objective function. Zbl 1104.90051Ré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.68658Michel, Claude; Rueher, Michel; Lebbah, Yahia 6 2001 A constraint programming approach for solving rigid geometric systems. Zbl 1044.68771Jermann, Christophe; Trombettoni, Gilles; Neveu, Bertrand; Rueher, Michel 3 2000 A global constraint combining a sum constraint and difference constraints. Zbl 1044.68794Régin, Jean-Charles; Rueher, Michel 3 2000 A CLP framework for computing structural test data. Zbl 0983.68583Gotlieb, Arnaud; Botella, Bernard; Rueher, Michel 3 2000 Comparing partial consistencies. Zbl 1130.65310Collavizza, Hélène; Delobel, François; Rueher, Michel 9 1999 Comparing partial consistencies. Zbl 0947.65069Collavizza, Hélène; Delobel, François; Rueher, Michel 4 1999 Dynamic optimization of interval narrowing algorithms. Zbl 0920.68030Lhomme, Olivier; Gotlieb, Arnaud; Rueher, Michel 4 1998 Relationships between partial consistencies over continuous domains. Zbl 0949.68100Collavizza, Hélène; Delobel, François; Rueher, Michel 1 1998 Concurrent cooperating solvers over reals. Zbl 0888.65066Rueher, Michel; Solnon, Christine 1 1997 all cited Publications top 5 cited Publications 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 all top 5 Cited in 26 Serials 19 Constraints 14 Journal of Global Optimization 6 European Journal of Operational Research 4 Journal of Computational and Applied Mathematics 3 Artificial Intelligence 2 Reliable Computing 2 RAIRO. Operations Research 2 Mathematics in Computer Science 1 Information Processing Letters 1 Applied Mathematics and Computation 1 Computing 1 Information and Computation 1 Annals of Operations Research 1 Numerical Algorithms 1 Mathematical Programming. Series A. Series B 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 International Transactions in Operational Research 1 Journal of Heuristics 1 INFORMS Journal on Computing 1 Higher-Order and Symbolic Computation 1 Optimization and Engineering 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Nonlinear Analysis. Hybrid Systems 1 SN Operations Research Forum all top 5 Cited in 9 Fields 48 Operations research, mathematical programming (90-XX) 25 Numerical analysis (65-XX) 22 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of deformable solids (74-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year