×

zbMATH — the first resource for mathematics

Benhamou, Frédéric

Compute Distance To:
Author ID: benhamou.frederic Recent zbMATH articles by "Benhamou, Frédéric"
Published as: Benhamou, F.; Benhamou, Frédéric
External Links: MGP
Documents Indexed: 20 Publications since 1993, including 4 Books

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 110 times in 89 Documents Cited by Year
Algorithm 852: RealPaver: An interval solver using constraint satisfaction techniques. Zbl 1346.65020
Granvilliers, Laurent; Benhamou, Frédéric
37
2006
Applying interval arithmetic to real, integer, and Boolean constraints. Zbl 0882.68032
Benhamou, Frédéric; Older, William J.
30
1997
Universally quantified interval constraints. Zbl 1044.68738
Benhamou, Frédéric; Goualard, Frédéric
10
2000
Heterogeneous constraint solving. Zbl 1355.68030
Benhamou, Frédéric
9
1996
Newton: Constraint programming over nonlinear constraints. Zbl 0891.68015
Van Hentenryck, Pascal; Michel, Laurent; Benhamou, Frédéric
6
1998
A constraint solver based on abstract domains. Zbl 1426.68159
Pelleau, Marie; Miné, Antoine; Truchet, Charlotte; Benhamou, Frédéric
4
2013
Automatic generation of numerical redundancies for nonlinear constraint solving. Zbl 0889.65052
Benhamou, Frédéric; Granvilliers, Laurent
4
1997
Symbolic-interval cooperation in constraint programming. Zbl 1356.68278
Granvilliers, Laurent; Monfroy, Eric; Benhamou, Frédéric
3
2001
Progress in the solving of a circuit design problem. Zbl 0998.65051
Granvilliers, Laurent; Benhamou, Frédéric
3
2001
Constraint logic programming. Selected research. Zbl 0810.68058
Benhamou, Frédéric (ed.); Colmerauer, Alain (ed.)
2
1993
The octagon abstract domain for continuous constraints. Zbl 1338.90393
Pelleau, Marie; Truchet, Charlotte; Benhamou, Frédéric
1
2014
A branch and bound algorithm for numerical Max-CSP. Zbl 1209.68095
Normand, Jean-Marie; Goldsztejn, Alexandre; Christie, Marc; Benhamou, Frédéric
1
2010
The octagon abstract domain for continuous constraints. Zbl 1338.90393
Pelleau, Marie; Truchet, Charlotte; Benhamou, Frédéric
1
2014
A constraint solver based on abstract domains. Zbl 1426.68159
Pelleau, Marie; Miné, Antoine; Truchet, Charlotte; Benhamou, Frédéric
4
2013
A branch and bound algorithm for numerical Max-CSP. Zbl 1209.68095
Normand, Jean-Marie; Goldsztejn, Alexandre; Christie, Marc; Benhamou, Frédéric
1
2010
Algorithm 852: RealPaver: An interval solver using constraint satisfaction techniques. Zbl 1346.65020
Granvilliers, Laurent; Benhamou, Frédéric
37
2006
Symbolic-interval cooperation in constraint programming. Zbl 1356.68278
Granvilliers, Laurent; Monfroy, Eric; Benhamou, Frédéric
3
2001
Progress in the solving of a circuit design problem. Zbl 0998.65051
Granvilliers, Laurent; Benhamou, Frédéric
3
2001
Universally quantified interval constraints. Zbl 1044.68738
Benhamou, Frédéric; Goualard, Frédéric
10
2000
Newton: Constraint programming over nonlinear constraints. Zbl 0891.68015
Van Hentenryck, Pascal; Michel, Laurent; Benhamou, Frédéric
6
1998
Applying interval arithmetic to real, integer, and Boolean constraints. Zbl 0882.68032
Benhamou, Frédéric; Older, William J.
30
1997
Automatic generation of numerical redundancies for nonlinear constraint solving. Zbl 0889.65052
Benhamou, Frédéric; Granvilliers, Laurent
4
1997
Heterogeneous constraint solving. Zbl 1355.68030
Benhamou, Frédéric
9
1996
Constraint logic programming. Selected research. Zbl 0810.68058
Benhamou, Frédéric (ed.); Colmerauer, Alain (ed.)
2
1993
all top 5

Cited by 182 Authors

7 Goldsztejn, Alexandre
4 Granvilliers, Laurent
4 Jermann, Christophe
4 Nataraj, Paluri S. V.
3 Apt, Krzysztof Rafal
3 Chabert, Gilles
3 del Vado Vírseda, Rafael
3 Estévez-Martín, Sonia
3 Fernández, Antonio J.
3 Jaulin, Luc
3 Misener, Ruth
3 Neumaier, Arnold
3 Rodríguez-Artalejo, Mario
3 Schichl, Hermann
3 Truchet, Charlotte
3 Van Hentenryck, Pascal
2 Barahona, Pedro
2 Benhamou, Frédéric
2 Correia, Marco
2 Cruz, Jorge T. M.
2 Floudas, Christodoulos Achilleus
2 Hnich, Brahim
2 Hortalá-González, Teresa
2 Kubica, Bartłomiej Jacek
2 Martin, Benjamin M. S.
2 Messine, Frédéric
2 Monfroy, Eric
2 Muñoz, César A.
2 Narkawicz, Anthony Joseph
2 Neveu, Bertrand
2 Ogawa, Mizuhito
2 Patil, Mukesh D.
2 Prestwich, Steven D.
2 Raissi, Tarek
2 Ratschan, Stefan
2 Rossi, Roberto
2 Sáenz-Pérez, Fernando
2 Sam-Haroud, Djamila
2 She, Zhikun
2 Tamura, Naoya
2 Tarim, S. Armagan
2 Trombettoni, Gilles
2 Tung, Vu Xuan
2 Van Khanh, To
2 Vu, Xuan-Ha
2 Yamamura, Kiyotaka
2 Zolghadri, Ali
1 Ababou, Meïssa
1 Abdallah, Areski Nait
1 Araya, Ignacio J.
1 Arounassalame, M.
1 Bagnara, Roberto
1 Bardin, Sébastien
1 Bart, Anicet
1 Bartocci, Ezio
1 Barton, Paul I.
1 Bobot, François
1 Borradaile, Glencora
1 Bouissou, Olivier
1 Boukouvala, Fani
1 Carlier, Matthieu
1 Caro, Stéphane
1 Carvalho, Elsa
1 Ceccon, Francesco
1 Cerny, Eduard
1 Chablat, Damien
1 Chapoutot, Alexandre
1 Chawdhary, Aziem
1 Cherroun, Hadda
1 Chihani, Zakaria
1 Chin, Kwai-Sang
1 Christie, Marc
1 Combastel, Christophe
1 Darte, Alain
1 Deleau, Hervé
1 Djaballah, Adel
1 Domes, Ferenc
1 Dubois, Didier
1 Duracz, Jan
1 Dutle, Aaron
1 Efimov, Denis V.
1 Eggers, Andreas
1 Faltings, Boi Volkert
1 Fargier, Hélène
1 Feautrier, Paul
1 Fränzle, Martin
1 Frühwirth, Thom
1 Ge, Shuzhi Sam
1 Gent, Ian Philip
1 Gervet, Carmen
1 Girodias, Pierre
1 Gladisch, Christoph D.
1 Gori, Roberta
1 Gotlieb, Arnaud
1 Goualard, Frédéric
1 Green, Martin J.
1 Grosu, Radu
1 Gupta, Giri Raj
1 Guyonnet, Dominique
1 Hains, Gaétan
...and 82 more Authors

Citations by Year