Constraint reasoning based on interval arithmetic: the tolerance propagation approach

Current numerical constraint propagation systems accept as input only problems represented by exact numerical values and correspondingly produce only crisp solutions as output. In order to remove this limitation we have designed and implemented a generalized constraint propagation scheme based on interval arithmetic instead of conventional arithmetic. By using intervals instead of exact values we…