George F. Corliss, R. Baker Kearfott. Rigorous Global Search: Industrial Applications. In Tibor Csendes, editor, Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998. pages 1-16, Springer, 1998. [doi]
Abstract is missing.