Journal of Automated Reasoning

, Volume 2, Issue 1, pp 89–101

Schubert's Steamroller problem: Formulations and solutions

  • Mark E. Stickel
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

Authors and Affiliations

  • Mark E. Stickel
    • 1
  1. 1.Artificial Intelligence CenterSRI InternationalMenlo ParkU.S.A.