Evgueni S. Petrov
E-mail
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