Computing Resolutions: How and Why Shaowei Lin (UC Berkeley) 27 Oct 2011