Symposium on Abstraction, Reformulation, and Approximation 2011 July 16, 2011

The primary use of ARA techniques has been to overcome computational intractability by decreasing the combinatorial costs associated with searching large spaces.

Official Website: http://logic.stanford.edu/sara2011/