Paul Beame - Henry Kautz - Ashish Sabharwal
Computer Science and Engineering University of Washington, Box 352350 Seattle, WA 98195-2350, USA {beame,kautz,ashish}@cs.washington.edu