Evgueni Petrov

Publication Activity (10 Years)

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

Publications

Evgueni Petrov
Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems. Ershov Memorial Conference (2011)
Evgueni Petrov
Algorithm for Evaluation of the Interval Power Function of Unconstrained Arguments CoRR (2007)
Evgueni Petrov
Evaluation of interval extension of the power function by graph decomposition CoRR (2006)
Evgueni Petrov, Yuri Kostov, Elena Botoeva
UniCalc.LIN: a linear constraint solver for the UniCalc system CoRR (2006)
Evgueni Petrov, Éric Monfroy
Constraint-based analysis of composite solvers CoRR (2003)
Evgueni Petrov, Éric Monfroy
Automatic Analysis of Composite Solvers. ICTAI (2002)
Evgueni Petrov
Symbolic-Interval Heuristic for Bound-Constrained Minimization. COCOS (2002)