2002 | ||
---|---|---|
6 | EE | Evgueni S. Petrov, Frédéric Benhamou: Improved Interval Constraint Propagation for Constraints on Partial Derivatives. International Conference on Computational Science (2) 2002: 1097-1105 |
2001 | ||
5 | EE | Evgueni S. Petrov, Tatyana M. Yakhno: Subdefinite Models and Logic Programming: Implementation of Constraints. Programming and Computer Software 27(2): 95-100 (2001) |
2000 | ||
4 | EE | Evgueni S. Petrov: Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models. ADVIS 2000: 180-190 |
1999 | ||
3 | EE | Tatyana M. Yakhno, Evgueni S. Petrov: Extensional Set Library for ECLiPSe. Ershov Memorial Conference 1999: 434-444 |
1997 | ||
2 | Evgueni S. Petrov: Applications of Interval Domain Library: Expressing Connectivity via Non-Linear Constraints. SCAI 1997: 143-150 | |
1996 | ||
1 | Tatyana M. Yakhno, Evgueni S. Petrov: Application of Subdefinite Models for Solving Constraint Satisfaction Problems. Ershov Memorial Conference 1996: 80-90 |
1 | Frédéric Benhamou | [6] |
2 | Tatyana M. Yakhno | [1] [3] [5] |