List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Constraint-based analysis of composite solvers Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-04-13 | Paper |
| A reliable linear constraint solver for the UniCalc system Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science | 2012-04-13 | Paper |
| Symbolic-interval heuristic for bound-constrained minimization Lecture Notes in Computer Science | 2010-02-02 | Paper |
| scientific article; zbMATH DE number 2080548 (Why is no real title available?) | 2004-08-04 | Paper |
| Subdefinite models and logic programming: Implementation of constraints Programming and Computer Software | 2003-06-03 | Paper |
| scientific article; zbMATH DE number 1630126 (Why is no real title available?) | 2001-10-23 | Paper |
| An interval library: The experience of integration of logic and constraint programming Programming and Computer Software | 2001-07-26 | Paper |
Research outcomes over time
This page was built for person: Evgueni S. Petrov
