Towards Understanding and Harnessing the
Potential of Clause Learning

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



Journal of Artificial Intelligence Research 22 (2004). Copyright AI Access Foundation. All rights reserved.