Evgueni S. PetrovE-mailpes@iis.nsk.su List of Articles: Petrov E. Scalable parallel subdefinite calculations for sparse systems of constraints // Computer Science. — 2010 . — # 31. — P. 111-121 Petrov E. The uniform constraint solving API for UniCalc // Computer Science. — 2009 . — # 29. — P. 79-88 Botoeva E. Petrov E. Correct visualization of solution spaces in the UniCalc system // Computer Science. — 2007 . — # 26. — P. 65-73 Botoeva E. Kostov Y. Petrov E. A reliable linear constraint solver for the UniCalc system // Computer Science. — 2006 . — # 24. — P. 45-55 Petrov E. Monfroy É. Constraint-based analysis of composite solvers // Computer Science. — 2005 . — # 23. — P. 101-111 Yakhno T. Petrov E. New facilities of constraint logic programming // Computer Science. — 1999 . — # 12. — P. 52-57