( en | de | ru )

 

Disambiguation of "Benhamou, Frédéric"

Author of the publication

copydeleteadd this publication to your clipboard
The octagon abstract domain for continuous constraints.

, , and . Constraints An Int. J., 19 (3): 309-337 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frédéric Roux

Frédéric Robin

Frédéric Ruckert

Frédéric Ziebarth

Frédéric Leroux

 

Other publications of authors with the same name

CLP(Intervals) Revisited., , and . ILPS, page 124-138. MIT Press, (1994)Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving., and . Reliab. Comput., 3 (3): 335-344 (1997)An Extension of the WAM for Hybrid Interval Solvers., , and . J. Funct. Log. Program., (1999)Progress in the Solving of a Circuit Design Problem., and . J. Glob. Optim., 20 (2): 155-168 (2001)Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach., , and . AIMDM, volume 1620 of Lecture Notes in Computer Science, page 185-196. Springer, (1999)Newton: Constraint Programming over Nonlinear Real Constraints, , and . Science of Computer Programming, 30 (1--2): 83--118 (1998)Improved bounds on the complexity of kB-consistency., , and . IJCAI, page 303-308. Morgan Kaufmann, (2001)Automated reasoning on monotonic constraints., and . ICTAI, page 401-. IEEE Computer Society, (2000)The octagon abstract domain for continuous constraints., , and . Constraints An Int. J., 19 (3): 309-337 (2014)Interval Constraints.. Encyclopedia of Optimization, Springer, (2009)