( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Constraint Programming Approach for Solving Rigid Geometric Systems.

, , , и . CP, том 1894 из Lecture Notes in Computer Science, стр. 233-248. Springer, (2000)

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)

Michel Rocco

Judith Michel

 

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

A dynamic constraint-based BMC strategy for generating counterexamples., , , , и . SAC, стр. 1633-1638. ACM, (2011)An Architecture for Cooperating Constraint Solvers on Reals. Constraint Programming, том 910 из Lecture Notes in Computer Science, стр. 231-250. Springer, (1994)A Constraint Programming Approach for Solving Rigid Geometric Systems., , , и . CP, том 1894 из Lecture Notes in Computer Science, стр. 233-248. Springer, (2000)VLP: a visual logic programming language., и . J. Vis. Lang. Comput., 2 (2): 163-188 (1991)Concurrent Cooperating Solvers over Reals., и . Reliab. Comput., 3 (3): 325-333 (1997)An efficient constraint based framework forhandling floating point SMT problems., , , и . CoRR, (2020)Efficient and Safe Global Constraints for Handling Numerical Constraint Systems., , , , и . SIAM J. Numerical Analysis, 42 (5): 2076-2097 (2005)A Cooperative Scheme for Solving Constraints over the Reals., и . PASCO, стр. 284-293. World Scientific, (1994)What's Hot in Constraint Programming., и . AAAI, стр. 5073-5075. AAAI Press, (2017)Rigorous Enclosure of Round-Off Errors in Floating-Point Computations., , и . VSTTE, том 12549 из Lecture Notes in Computer Science, стр. 196-212. Springer, (2020)