Frédéric Benhamou

	2011
41		Marie Pelleau, Charlotte Truchet, Frédéric Benhamou: Octagonal Domains for Continuous Constraints. CP 2011: 706-720
	2010
40		Charlotte Truchet, Marie Pelleau, Frédéric Benhamou: Abstract Domains for Constraint Programming, with the Example of Octagons. SYNASC 2010: 72-79
39		Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou: A branch and bound algorithm for numerical Max-CSP. Constraints 15(2): 213-237 (2010)
	2009
38		Marc Christie, Fabrice Lamarche, Frédéric Benhamou: A Spatio-temporal Reasoning System for Virtual Camera Planning. Smart Graphics 2009: 119-127
37		Frédéric Benhamou: Interval Constraints. Encyclopedia of Optimization 2009: 1733-1736
	2008
36		Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou: A Branch and Bound Algorithm for Numerical MAX-CSP. CP 2008: 205-219
	2006
35		Frédéric Benhamou: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings Springer 2006
34		Laurent Granvilliers, Frédéric Benhamou: Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw. 32(1): 138-156 (2006)
	2004
33		Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie: Interval constraint solving for camera control and motion planning. ACM Trans. Comput. Log. 5(4): 732-767 (2004)
	2002
32		Evgueni S. Petrov, Frédéric Benhamou: Improved Interval Constraint Propagation for Constraints on Partial Derivatives. International Conference on Computational Science (2) 2002: 1097-1105
31		Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou: Towards Automated Reasoning on the Properties of Numerical Constraints. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 47-61
30		Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou: Raisonnement sur les propriétés de contraintes numériques. JFPLC 2002: 13-
	2001
29		Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou: Improved bounds on the complexity of kB-consistency. IJCAI 2001: 303-308
28		Laurent Granvilliers, Eric Monfroy, Frédéric Benhamou: Symbolic-interval cooperation in constraint programming. ISSAC 2001: 150-166
27		Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou: Amélioration de la complexité des kB-consistances. JFPLC 2001: 207-222
26		Frédéric Benhamou, Pascal Van Hentenryck: In honor of Alain Colmerauer's 60th birthday. TPLP 1(6): 633-635 (2001)
	2000
25		Frédéric Goualard, Frédéric Benhamou: Debugging Constraint Programs by Store Inspection. Analysis and Visualization Tools for Constraint Programming 2000: 273-297
24		Frédéric Benhamou, Frédéric Goualard: Universally Quantified Interval Constraints. CP 2000: 67-82
23		Lucas Bordeaux, Frédéric Benhamou: Automated reasoning on monotonic constraints. ICTAI 2000: 401-
22		Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie: Interval Constraint Solving for Camera Control and Motion Planning CoRR cs.AI/0007002: (2000)
	1999
21		Jorge Cruz, Pedro Barahona, Frédéric Benhamou: Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. AIMDM 1999: 185-196
20		Frédéric Goualard, Frédéric Benhamou: A Visualization Tool for Constraint Program Debugging. ASE 1999: 110-
19		Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie: An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. Ershov Memorial Conference 1999: 416-423
18		Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget: Revising Hull and Box Consistency. ICLP 1999: 230-244
17		Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou: Box Consistency through Weak Box Consistency. ICTAI 1999: 373-380
16		Frédéric Goualard, Frédéric Benhamou: Un outil de débogage du store pour la programmation par contraintes. JFPLC 1999: 281-296
15		Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard: Interval Constraints: Results and Perspectives. New Trends in Constraints 1999: 1-16
14		Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers: An Extension of the WAM for Hybrid Interval Solvers. Journal of Functional and Logic Programming 1999(Special Issue 1): (1999)
	1998
13		Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou: Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998)
	1997
12		Frédéric Benhamou: JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France Hermes 1997
11		Frédéric Benhamou, Pascal Van Hentenryck: Introduction to the Special Issue on Interval Constraints. Constraints 2(2): 107-112 (1997)
10		Frédéric Benhamou, William J. Older: Applying Interval Arithmetic to Real, Integer, and Boolean Constraints. J. Log. Program. 32(1): 1-24 (1997)
9		Frédéric Benhamou, Laurent Granvilliers: Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. Reliable Computing 3(3): 335-344 (1997)
	1996
8		Frédéric Benhamou, Laurent Granvilliers: Combining Local Consistency, Symbolic Rewriting and Interval Methods. AISMC 1996: 144-159
7		Frédéric Benhamou: Heterogeneous Constraint Solving. ALP 1996: 62-76
	1995
6		Frédéric Benhamou, Touraïvane: Prolog IV : langage et algorithmes. JFPLC 1995: 51-64
	1994
5		Frédéric Benhamou: Interval Constraint Logic Programming Constraint Programming 1994: 1-21
4		Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck: CLP(Intervals) Revisited. SLP 1994: 124-138
	1993
3		Frédéric Benhamou, Jean-Luc Massat: Boolean Pseudo-equations in Constraint Logic Programming. ICLP 1993: 517-531
2		William J. Older, Frédéric Benhamou: Programming in CLP(BNR). PPCP 1993: 228-238
	1991
1		Frédéric Benhamou: Boolean Algorithms in Prolog III. WCLP 1991: 307-325

Coauthor Index

1	Pedro Barahona	[21]
2	Lucas Bordeaux	[23] [27] [29] [30] [31]
3	Marc Christie	[19] [22] [33] [36] [38] [39]
4	Jorge Cruz	[21]
5	Alexandre Goldsztejn	[36] [39]
6	Frédéric Goualard	[14] [15] [16] [17] [18] [19] [20] [22] [24] [25] [33]
7	Laurent Granvilliers	[8] [9] [14] [15] [17] [18] [28] [34]
8	Pascal Van Hentenryck	[4] [11] [13] [26]
9	Fabrice Lamarche	[38]
10	Eric Languénou	[19] [22] [33]
11	Jean-Luc Massat	[3]
12	David A. McAllester	[4]
13	Laurent D. Michel (Laurent Michel)	[13]
14	Eric Monfroy	[27] [28] [29] [30] [31]
15	Jean-Marie Normand	[36] [39]
16	William J. Older	[2] [10]
17	Marie Pelleau	[40] [41]
18	Evgueni S. Petrov	[32]
19	Jean-François Puget (Jean-Francois Puget)	[18]
20	Touraïvane	[6]
21	Charlotte Truchet	[40] [41]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page