Frédéric Benhamou

Cited by

	All	Since 2019
Citations	3647	336
h-index	22	7
i10-index	36	6

200

100

150

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202431 36 61 118 129 133 150 106 155 132 148 168 166 189 145 166 184 88 139 164 133 113 126 93 110 73 66 70 45 42 40

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 NormandProfessor, Ecole Centrale de Nantes & LS2N, 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. F Benhamou, F Goualard, L Granvilliers, JF Puget ICLP 99, 230-244, 1999	534	1999
Applying interval arithmetic to real, integer, and boolean constraints F Benhamou, WJ Older The Journal of Logic Programming 32 (1), 1-24, 1997	509	1997
CLP (Intervals) revisited F Benhamou, D McAllester, P Van Hentenryck International Symposium on Logic Programming, the MIT Press, 124-138, 1994 …, 1994	489	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	333	2006
Continuous and interval constraints F Benhamou, L Granvilliers Foundations of Artificial Intelligence 2, 571-603, 2006	197	2006
Heterogeneous constraint solving F Benhamou International Conference on Algebraic and Logic Programming, 62-76, 1996	154	1996
Interval constraint logic programming F Benhamou French School on Theoretical Computer Science, 1-21, 1994	145	1994
Universally quantified interval constraints F Benhamou, F Goualard International Conference on Principles and Practice of Constraint …, 2000	131	2000
Constraint logic programming: selected research F Benhamou, A Colmerauer	131	1993
Constraint programming over nonlinear constraints P Van Hentenryck, L Michel, F Benhamou Science of computer programming 30 (1-2), 83-118, 1998	117	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 International Workshop on Verification, Model Checking, and Abstract …, 2013	66	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	51	2004
Automatic generation of numerical redundancies for non-linear constraint solving F Benhamou, L Granvilliers Reliable Computing 3 (3), 335-344, 1997	48	1997
Combining local consistency, symbolic rewriting and interval methods F Benhamou, L Granvilliers Artificial Intelligence and Symbolic Mathematical Computation: International …, 1996	47	1996
Prolog IV: langage et algorithmes. F Benhamou, T Touraïvane JFPLC, 51-64, 1995	47	1995
Trends in constraint programming F Benhamou, N Jussien, BA O'Sullivan John Wiley & Sons, 2013	46	2013
Progress in the solving of a circuit design problem L Granvilliers, F Benhamou Journal of Global Optimization 20, 155-168, 2001	45	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, ...	40	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