Laurent Granvilliers, Mina Ouabiba. Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. In Bruno Buchberger, John A. Campbell, editors, Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings. Volume 3249 of Lecture Notes in Computer Science, pages 118-131, Springer, 2004. [doi]
Abstract is missing.