Hoon Hong. Heuristic Search Strategies for Cylindrical Algebraic Decomposion. In Jacques Calmet, John A. Campbell, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Volume 737 of Lecture Notes in Computer Science, pages 152-165, Springer, 1992.
Abstract is missing.