Symposium on Abstraction, Reformulation, and Approximation
Eighth Symposium on Abstraction, Reformulation, and Approximation
Reading Tools
Preface
Bulitko, Beck
Search conference