Towards Understanding and Harnessing the Potential of Clause Learning

<BODY bgcolor="#ffeee0" text="#000000" link="#9944EE" vlink="#FF0000" alink="#00ff00">  <IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up" SRC="up_g.gif"> <IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="prev_g.gif"> <A NAME="tex2html9" HREF="beame04a-html_tf.html" TARGET="_top"> <IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents.gif"></A> <BR> <B> Next:</B> <A NAME="tex2html12" HREF="node1_mn.html" TARGET="_top">Contents</A>   <B> <A NAME="tex2html10" HREF="beame04a-html_tf.html" TARGET="_top">Contents</A></B> <BR> <BR> <P> Sorry, this requires a browser that supports frames! <BR> Try <A HREF="beame04a-html_ct.html">beame04a-html_ct.html</A> instead.</P> <HR> <ADDRESS> Journal of Artificial Intelligence Research 22 (2004). Copyright AI Access Foundation. All rights reserved. </ADDRESS>