David Rajaratnam, Maurice Pagnucco. From Approximate Clausal Reasoning to Problem Hardness. In Dianhui Wang, Mark Reynolds, editors, AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings. Volume 7106 of Lecture Notes in Computer Science, pages 501-510, Springer, 2011. [doi]
Abstract is missing.