Symposium on Abstraction, Reformulation, and Approximation 2011 July 15, 2011
Castell De Cardona. S/N
Cardona, Utah
Cardona, Utah
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/
Added by mBLAST on January 24, 2011