Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

Sven Koenig Robert C. Holte Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings SARA Lecture Notes in Computer Science 2371 Springer 2002 3-540-43941-2 db/conf/sara/sara2002.html