Mohammad GhasemZadeh, Volker Klotz, Christoph Meinel. Embedding Memoization to the Semantic Tree Search for Deciding QBFs. In Geoffrey I. Webb, Xinghuo Yu, editors, AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings. Volume 3339 of Lecture Notes in Computer Science, pages 681-693, Springer, 2004. [doi]
Abstract is missing.