Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}