Improving the Efficiency of Reasoning Through Structure-Based Reformulation (2000)

by E Amir, S McIlraith
Venue:in Proceedings of the International Symposium on Abstractions, Reformulation, and Approximation (SARA), Lecture Notes in Artificial Intelligence