%0 Journal Article %1 journals/jair/BeameKS04 %A Beame, Paul %A Kautz, Henry A. %A Sabharwal, Ashish %D 2004 %J J. Artif. Intell. Res. %K dblp %P 319-351 %T Towards Understanding and Harnessing the Potential of Clause Learning. %U http://dblp.uni-trier.de/db/journals/jair/jair22.html#BeameKS04 %V 22

@article{journals/jair/BeameKS04, added-at = {2023-09-30T00:00:00.000+0200}, author = {Beame, Paul and Kautz, Henry A. and Sabharwal, Ashish}, biburl = {https://www.bibsonomy.org/bibtex/2400acb2135e89a2f75b303a8b3adbcc8/dblp}, ee = {https://doi.org/10.1613/jair.1410}, interhash = {c509b3da412218651aa5c224e6feaddc}, intrahash = {400acb2135e89a2f75b303a8b3adbcc8}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {319-351}, timestamp = {2024-04-08T20:02:27.000+0200}, title = {Towards Understanding and Harnessing the Potential of Clause Learning.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair22.html#BeameKS04}, volume = 22, year = 2004 }