T. K. Satish Kumar, Richard Dearden. The Oracular Constraints Method. In Sven Koenig, Robert C. Holte, editors, Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings. Volume 2371 of Lecture Notes in Computer Science, pages 290-298, Springer, 2002. [doi]
Abstract is missing.