dblp.uni-trier.dewww.uni-trier.de

Evgueni S. Petrov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
6EEEvgueni 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
5EEEvgueni S. Petrov, Tatyana M. Yakhno: Subdefinite Models and Logic Programming: Implementation of Constraints. Programming and Computer Software 27(2): 95-100 (2001)
2000
4EEEvgueni S. Petrov: Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models. ADVIS 2000: 180-190
1999
3EETatyana 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

Coauthor Index

1Frédéric Benhamou [6]
2Tatyana M. Yakhno [1] [3] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)