Jesse Alama. Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools. In Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska, editors, The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. Volume 2 of EPiC Series, pages 12-16, EasyChair, 2010. [doi]
Abstract is missing.