Improving the efficiency of exclusion algorithms.
It is shown that if the concept of an interval solution to a system of linear interval equations given by Ratschek and Sauer is slightly modified, then only two nonlinear equations are to be solved to find a modified interval solution or to verify that no such solution exists.