Symbolic-Interval Heuristic for Bound-Constrained Minimization. - Evgueni Petrov (COCOS, 2002)

Automatic Analysis of Composite Solvers. - Evgueni Petrov; Éric Monfroy (ICTAI, 2002)

Constraint-based analysis of composite solvers - Evgueni Petrov; Éric Monfroy (CoRR, 2003)

Evaluation of interval extension of the power function by graph decomposition - Evgueni Petrov (CoRR, 2006)

UniCalc.LIN: a linear constraint solver for the UniCalc system - Evgueni Petrov; Yuri Kostov; Elena Botoeva (CoRR, 2006)

Algorithm for Evaluation of the Interval Power Function of Unconstrained Arguments - Evgueni Petrov (CoRR, 2007)

Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems. - Evgueni Petrov (Ershov Memorial Conference, 2011)