Application of Subdefinite Models for Solving Constraint Satisfaction Problems. - Tatyana M. Yakhno; Evgueni S. Petrov (Ershov Memorial Conference, 1996)

Applications of ECLiPSe: Interval Domain Library. - Tatyana M. Yakhno; V. Z. Zilberfain; Evgueni S. Petrov (PACT, 1997)

Applications of Interval Domain Library: Expressing Connectivity via Non-Linear Constraints. - Evgueni S. Petrov (SCAI, 1997)

Extensional Set Library for ECLiPSe. - Tatyana M. Yakhno; Evgueni S. Petrov (Ershov Memorial Conference, 1999)

Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models. - Evgueni S. Petrov (ADVIS, 2000)

Extensional Set Library for ECLiPSe. - Evgueni S. Petrov; Tatyana M. Yakhno (PACPL, 2000)

Subdefinite Models and Logic Programming: Implementation of Constraints. - Evgueni S. Petrov; Tatyana M. Yakhno (Program. Comput. Softw., 2001)

Improved Interval Constraint Propagation for Constraints on Partial Derivatives. - Evgueni S. Petrov; Frédéric Benhamou (International Conference on Computational Science (2), 2002)