Journal of Automated Reasoning

, Volume 2, Issue 1, pp 89–101

Schubert's Steamroller problem: Formulations and solutions

Authors

  • Mark E. Stickel
    • Artificial Intelligence CenterSRI International
Problem Corner

DOI: 10.1007/BF00246025

Cite this article as:
Stickel, M.E. J Autom Reasoning (1986) 2: 89. doi:10.1007/BF00246025

Copyright information

© D. Reidel Publishing Company 1986