( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Boosting Local Consistency Algorithms over Floating-Point Numbers.

, , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 127-140. Springer, (2012)

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.

Michel Georg Michel

Michel Ghazal

Prognostische Relevanz der Schildwächterlymphknotenbiopsie beim malignen Melanom. MedH Hannover, (2009)

Christine Michel

Malaise dans l'érotisme: Darstellungen sexueller Praktiken und Formen in der französischsprachigen Literatur der Gegenwart. Uni Marburg, (2008)

Wolfgang Michel

Rainer Michel

 

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

Une représentation graphique pour Prolog., , , и . SPLT, стр. 373-386. (1986)Adapting the wavefront expansion in presence of strong currents., , и . ICRA, стр. 1352-1358. IEEE, (2008)Boosting Local Consistency Algorithms over Floating-Point Numbers., , и . CP, том 7514 из Lecture Notes in Computer Science, стр. 127-140. Springer, (2012)A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations., , и . CP, том 2470 из Lecture Notes in Computer Science, стр. 109-123. Springer, (2002)CPBPV: A Constraint-Programming Framework for Bounded Program Verification., , и . CP, том 5202 из Lecture Notes in Computer Science, стр. 327-341. Springer, (2008)Searching Critical Values for Floating-Point Programs., , и . ICTSS, том 9976 из Lecture Notes in Computer Science, стр. 209-217. (2016)Automatic Test Data Generation Using Constraint Solving Techniques., , и . ISSTA, стр. 53-62. ACM, (1998)Efficient and Safe Global Constraints for Handling Numerical Constraint Systems., , , , и . SIAM J. Numerical Analysis, 42 (5): 2076-2097 (2005)A dynamic constraint-based BMC strategy for generating counterexamples., , , , и . SAC, стр. 1633-1638. ACM, (2011)A Constraint Programming Approach for Solving Rigid Geometric Systems., , , и . CP, том 1894 из Lecture Notes in Computer Science, стр. 233-248. Springer, (2000)