Pierre Girodias, Eduard Cerny, William J. Older. Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic. Theoretical Computer Science, 173(1):253-281, 1997. [doi]
@article{GirodiasCO97, title = {Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic}, author = {Pierre Girodias and Eduard Cerny and William J. Older}, year = {1997}, doi = {10.1016/S0304-3975(96)00198-3}, url = {http://dx.doi.org/10.1016/S0304-3975(96)00198-3}, tags = {rule-based, constraints}, researchr = {https://researchr.org/publication/GirodiasCO97}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {173}, number = {1}, pages = {253-281}, }