( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Search Strategies for Floating Point Constraint Systems.

, , , и . CP, том 10416 из Lecture Notes in Computer Science, стр. 707-722. Springer, (2017)

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.

Claude Haan

Claude Muller

Claude Imobersteg

Claude Velo

Claude Brodski

 

Другие публикации лиц с тем же именем

Rigorous Enclosure of Round-Off Errors in Floating-Point Computations., , и . VSTTE, том 12549 из Lecture Notes in Computer Science, стр. 196-212. Springer, (2020)Efficient and Safe Global Constraints for Handling Numerical Constraint Systems., , , , и . SIAM J. Numerical Analysis, 42 (5): 2076-2097 (2005)A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations., , и . CP, том 2470 из Lecture Notes in Computer Science, стр. 109-123. Springer, (2002)Searching Critical Values for Floating-Point Programs., , и . ICTSS, том 9976 из Lecture Notes in Computer Science, стр. 209-217. (2016)Boosting Local Consistency Algorithms over Floating-Point Numbers., , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 127-140. Springer, (2012)Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations., и . AITest, стр. 138-139. IEEE, (2019)Improving the Floating Point Addition and Subtraction Constraints., и . CP, том 6308 из Lecture Notes in Computer Science, стр. 360-367. Springer, (2010)Exact Projection Functions for Floating Point Number Constraints.. AI&M, (2002)Efficient Pruning Technique Based on Linear Relaxations., , и . COCOS, том 3478 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2003)Using constraint techniques for a safe and fast implementation of optimality-based reduction., , и . SAC, стр. 326-331. ACM, (2007)