|
СТ |
Correct Visualization of solution spaces in the UniCalc system |
2007 |
Botoeva E. Yu., Petrov E. S. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
04.03.2008 |
|
СТ |
Using the ECLiPSe Interval Domain Library in CAD |
1997 |
Yakhno T. M., Ziberfaine V. Z., Petrov E. S. |
|
|
|
ICL Systems J. |
01.08.1998 |
|
СТ |
New Facilities of Constraint Logic Programming |
1998 |
Rigg M., Yakhno T. M., Petrov E. S. |
|
|
|
ИНПРИМ-98 |
27.06.1998 |
|
СТ |
LogiCalc: Integrating Constraint Programming and Subdefinite Models |
1996 |
Yakhno T. M., Petrov E. S. |
|
|
|
PACT 96: Proc. of the Second International Conference on the Practical Application of Constraint Technology. |
06.04.1998 |
|
СТ |
Application of Interval Domain Library: Expressing Connectivity via Non Linear Constraints |
1997 |
Petrov E. S. |
|
|
|
SCAI 97: Proc. of the Sixth Scandinavian Conference on Artificial Intelligence |
06.04.1998 |
|
СТ |
Application of Subdefinite Models for Solving Constraint Satisfaction Problems |
1996 |
Yakhno T. M., Petrov E. S. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
