Evgueni Petrov

According to our database, Evgueni Petrov authored at least 7 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems.

Evgueni Petrov

Proceedings of the Perspectives of Systems Informatics, 2011

2007

Algorithm for Evaluation of the Interval Power Function of Unconstrained Arguments

Evgueni Petrov

CoRR, 2007

2006

UniCalc.LIN: a linear constraint solver for the UniCalc system

Evgueni Petrov, Yuri Kostov, Elena Botoeva

CoRR, 2006

Evaluation of interval extension of the power function by graph decomposition

Evgueni Petrov

CoRR, 2006

2003

Constraint-based analysis of composite solvers

Evgueni Petrov, Éric Monfroy

CoRR, 2003

2002

Automatic Analysis of Composite Solvers.

Evgueni Petrov, Éric Monfroy

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Symbolic-Interval Heuristic for Bound-Constrained Minimization.

Evgueni Petrov

Proceedings of the Global Optimization and Constraint Satisfaction, 2002