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

Debugging Constraint Programs by Store Inspection., and . Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 273-297. Springer, (2000)Box Consistency through Weak Box Consistency., , and . ICTAI, page 373-380. IEEE Computer Society, (1999)A Visualization Tool for Constraint Program Debugging., and . ASE, page 110-. IEEE Computer Society, (1999)Un outil de débogage du store pour la programmation par contraintes., and . JFPLC, page 281-296. Hermes, (1999)On the Selection of a Transversal to Solve Nonlinear Systems with Interval Arithmetic., and . International Conference on Computational Science (1), volume 3991 of Lecture Notes in Computer Science, page 332-339. Springer, (2006)Interval Constraint Solving for Camera Control and Motion Planning, , , and . CoRR, (2000)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)Generating Random Floating-Point Numbers by Dividing Integers: A Case Study.. ICCS (2), volume 12138 of Lecture Notes in Computer Science, page 15-28. Springer, (2020)Universally Quantified Interval Constraints., and . CP, volume 1894 of Lecture Notes in Computer Science, page 67-82. Springer, (2000)Drawing Random Floating-point Numbers from an Interval.. ACM Trans. Model. Comput. Simul., 32 (3): 16:1-16:24 (2022)