Tarek Richard Besold, Robert Robere. When Almost Is Not Even Close: Remarks on the Approximability of HDTP. In Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang, editors, Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings. Volume 7999 of Lecture Notes in Computer Science, pages 11-20, Springer, 2013. [doi]
Abstract is missing.