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

by Eyal Amir , Sheila Mcilraith
Venue:in Proceedings of the International Symposium on Abstractions, Reformulation, and Approximation (SARA), Lecture Notes in Artificial Intelligence
Citations:3 - 0 self