( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.

, и . ACM Trans. Math. Softw., 32 (1): 138-156 (2006)

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.

Frédéric Roux

Frédéric Robin

Frédéric Ruckert

Frédéric Ziebarth

Frédéric Leroux

 

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

Progress in the Solving of a Circuit Design Problem., и . J. Glob. Optim., 20 (2): 155-168 (2001)CLP(Intervals) Revisited., , и . ILPS, стр. 124-138. MIT Press, (1994)An Extension of the WAM for Hybrid Interval Solvers., , и . J. Funct. Log. Program., (1999)Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving., и . Reliab. Comput., 3 (3): 335-344 (1997)Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach., , и . AIMDM, том 1620 из Lecture Notes in Computer Science, стр. 185-196. Springer, (1999)Newton: Constraint Programming over Nonlinear Real Constraints, , и . Science of Computer Programming, 30 (1--2): 83--118 (1998)Improved bounds on the complexity of kB-consistency., , и . IJCAI, стр. 303-308. Morgan Kaufmann, (2001)Automated reasoning on monotonic constraints., и . ICTAI, стр. 401-. IEEE Computer Society, (2000)Universally Quantified Interval Constraints., и . CP, том 1894 из Lecture Notes in Computer Science, стр. 67-82. Springer, (2000)An Algorithm to Compute Inner Approximations of Relations for Interval Constraints., , , и . Ershov Memorial Conference, том 1755 из Lecture Notes in Computer Science, стр. 416-423. Springer, (1999)