Frédéric Benhamou

Cited by

	All	Since 2018
Citations	3584	379
h-index	22	7
i10-index	36	6

200

100

150

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202322 36 62 112 129 123 150 109 147 128 150 193 163 198 143 166 177 89 143 164 133 117 125 98 106 78 69 69 42 15

Co-authors

Pascal Van HentenryckGeorgia Institute of TechnologyVerified email at isye.gatech.edu
Marc ChristieAssociate Professor, University of Rennes 1Verified email at irisa.fr
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerified email at univ-nantes.fr
Marie PelleauUniversité Côte d'AzurVerified email at unice.fr
David McAllesterProfessor, Toyota Technological Institute at ChicagoVerified email at ttic.edu
Laurent MichelCSE, University of ConnecticutVerified email at engr.uconn.edu
Narendra JussienIMT Mines AlbiVerified email at mines-albi.fr
Barry O'SullivanSchool of Computer Science & IT, University College Cork, IrelandVerified email at cs.ucc.ie
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Arnold NeumaierProfessor for Computational Mathematics, University of Vienna, AustriaVerified email at univie.ac.at
Luis Nunes VicenteLehigh UniversityVerified email at lehigh.edu
Jean-Marie NormandAssociate Professor, Ecole Centrale de Nantes, FranceVerified email at ec-nantes.fr
Alexandre GoldsztejnCNRSVerified email at ls2n.fr
Pedro BarahonaProfessor of Computer Science, New University of LisbonVerified email at fct.unl.pt
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
John LloydProfessor Emeritus of Computer Science, The Australian National UniversityVerified email at cecs.anu.edu.au
Philippe CodognetJFLI - CNRS / UPMC / University of TokyoVerified email at lip6.fr
Kazunori UedaProfessor of Computer Science and Engineering, Waseda UniversityVerified email at ueda.info.waseda.ac.jp
Hiroshi HosobeProfessor, Hosei UniversityVerified email at hosei.ac.jp

Frédéric Benhamou

Professeur d'informatique, Université de Nantes

Verified email at univ-nantes.fr

Decision support Optimization Constraint Programming Digital Cultures


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Revising hull and box consistency S Ilog Logic Programming: Proceedings of the 1999 International Conference on Logic …, 1999	515	1999
Applying interval arithmetic to real, integer, and boolean constraints F Benhamou, WJ Older The Journal of Logic Programming 32 (1), 1-24, 1997	495	1997
CLP (Intervals) revisited F Benhamou, D McAllester, P Van Hentenryck International Symposium on Logic Programming, the MIT Press, 124-138, 1994 …, 1994	480	1994
Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques L Granvilliers, F Benhamou ACM Transactions on Mathematical Software (TOMS) 32 (1), 138-156, 2006	322	2006
Continuous and interval constraints F Benhamou, L Granvilliers Foundations of Artificial Intelligence 2, 571-603, 2006	192	2006
Heterogeneous constraint solving F Benhamou ALP 96, 62-76, 1996	154	1996
Interval constraint logic programming F Benhamou Constraint Programming: Basics and Trends: 1994 Châtillon Spring School …, 2005	143	2005
Universally quantified interval constraints F Benhamou, F Goualard Principles and Practice of Constraint Programming–CP 2000: 6th International …, 2000	129	2000
Constraint logic programming: selected research F Benhamou, A Colmerauer	129	1993
Constraint programming over nonlinear constraints P Van Hentenryck, L Michel, F Benhamou Science of computer programming 30 (1-2), 83-118, 1998	116	1998
Programming in CLP (BNR). WJ Older, F Benhamou PPCP 93, 1993	86	1993
A constraint solver based on abstract domains M Pelleau, A Miné, C Truchet, F Benhamou Verification, Model Checking, and Abstract Interpretation: 14th …, 2013	60	2013
Symbolic-interval cooperation in constraint programming L Granvilliers, E Monfroy, F Benhamou Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001	58	2001
Interval constraint solving for camera control and motion planning F Benhamou, F Goualard, É Languénou, M Christie ACM Transactions on Computational Logic (TOCL) 5 (4), 732-767, 2004	52	2004
Combining local consistency, symbolic rewriting and interval methods F Benhamou, L Granvilliers AISMC 1138, 144-159, 1996	50	1996
Trends in constraint programming F Benhamou, N Jussien, B O'Sullivan ISTE USA, 2007	47	2007
Automatic generation of numerical redundancies for non-linear constraint solving F Benhamou, L Granvilliers Reliable Computing 3 (3), 335-344, 1997	45	1997
Prolog IV: langage et algorithmes. F Benhamou, T Touraïvane JFPLC, 51-64, 1995	45	1995
Progress in the solving of a circuit design problem L Granvilliers, F Benhamou Journal of Global Optimization 20, 155-168, 2001	42	2001
Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art C Bliek, P Spellucci, L Vincente, A Neumaier, L Granvilliers, E Monfroy, ...	38	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors