Amol Dattatraya Mali. Hierarchical Task Network Planning as Satisfiability. In Susanne Biundo, Maria Fox, editors, Recent Advances in AI Planning, 5th European Conference on Planning, ECP 99, Durham, UK, September 8-10, 1999, Proceedings. Volume 1809 of Lecture Notes in Computer Science, pages 122-134, Springer, 1999.
Abstract is missing.