Frédéric Benhamou

Cited by

	All	Since 2018
Citations	3630	402
h-index	22	8
i10-index	36	6

200

100

150

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202327 38 62 116 129 135 157 106 153 138 149 174 164 197 141 169 176 90 144 164 132 116 127 97 106 78 69 67 44 38

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 S Ilog Logic Programming: Proceedings of the 1999 International Conference on Logic …, 1999	525	1999
Applying interval arithmetic to real, integer, and boolean constraints F Benhamou, WJ Older The Journal of Logic Programming 32 (1), 1-24, 1997	498	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	326	2006
Continuous and interval constraints F Benhamou, L Granvilliers Foundations of Artificial Intelligence 2, 571-603, 2006	194	2006
Heterogeneous constraint solving F Benhamou International Conference on Algebraic and Logic Programming, 62-76, 1996	158	1996
Interval constraint logic programming F Benhamou French School on Theoretical Computer Science, 1-21, 1994	146	1994
Universally quantified interval constraints F Benhamou, F Goualard International Conference on Principles and Practice of Constraint …, 2000	132	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	117	1998
Programming in CLP (BNR). WJ Older, F Benhamou PPCP 93, 1993	85	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	64	2013
Symbolic-interval cooperation in constraint programming L Granvilliers, E Monfroy, F Benhamou Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001	59	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
Trends in constraint programming F Benhamou, N Jussien, B O'Sullivan ISTE USA, 2007	49	2007
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	45	1995
Progress in the solving of a circuit design problem L Granvilliers, F Benhamou Journal of Global Optimization 20, 155-168, 2001	43	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