Evgueni S. Petrov

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

Evgueni S. Petrov, Frédéric Benhamou
Improved Interval Constraint Propagation for Constraints on Partial Derivatives. International Conference on Computational Science (2) (2002)
Evgueni S. Petrov, Tatyana M. Yakhno
Subdefinite Models and Logic Programming: Implementation of Constraints. Program. Comput. Softw. 27 (2) (2001)
Evgueni S. Petrov, Tatyana M. Yakhno
Extensional Set Library for ECLiPSe. PACPL (2000)
Evgueni S. Petrov
Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models. ADVIS (2000)
Tatyana M. Yakhno, Evgueni S. Petrov
. Ershov Memorial Conference (1999)
Evgueni S. Petrov
Applications of Interval Domain Library: Expressing Connectivity via Non-Linear Constraints. SCAI (1997)
Tatyana M. Yakhno, V. Z. Zilberfain, Evgueni S. Petrov
: Interval Domain Library. PACT (1997)
Tatyana M. Yakhno, Evgueni S. Petrov
Application of Subdefinite Models for Solving Constraint Satisfaction Problems. Ershov Memorial Conference (1996)