Author of the publication

An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.

, , , and . Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 416-423. Springer, (1999)

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.

 

Other publications of authors with the same name

CLP(Intervals) Revisited., , and . ILPS, page 124-138. MIT Press, (1994)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)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)Newton: Constraint Programming over Nonlinear Real Constraints, , and . Science of Computer Programming, 30 (1--2): 83--118 (1998)Progress in the Solving of a Circuit Design Problem., and . J. Glob. Optim., 20 (2): 155-168 (2001)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)Boolean Pseudo-equations in Constraint Logic Programming., and . ICLP, page 517-531. MIT Press, (1993)An Algorithm to Compute Inner Approximations of Relations for Interval Constraints., , , and . Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 416-423. Springer, (1999)