TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS

We develop two methods of solving DBM system. One method is based on Fourier – Motskinelimination scheme, it has complexity O(n3) for finding initial solve and complexity O(n3) for finding solve by changing one of variable value for some cases. The other method is based on the network of constraints...

Full description

Bibliographic Details
Main Authors: I. V. Rubanov, M. S. Barketau, M. Y. Kovalyov
Format: Article
Language:Russian
Published: The United Institute of Informatics Problems of the National Academy of Sciences of Belarus 2016-09-01
Series:Informatika
Online Access:https://inf.grid.by/jour/article/view/71