@Article{Beame2004,
author = {Beame, P and Kautz, H and Sabharwal, A}, 
title = {Towards understanding and harnessing the potential of clause learning}, 
journal = {Journal of Artificial Intelligence Research}, 
volume = {22}, 
number = {}, 
pages = {319--351}, 
year = {2004}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"EwC2EgmQpSke3K35N","bibbaseid":"beame-kautz-sabharwal-towardsunderstandingandharnessingthepotentialofclauselearning-2004","authorIDs":[],"author_short":["Beame, P","Kautz, H","Sabharwal, A"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Beame"],"firstnames":["P"],"suffixes":[]},{"propositions":[],"lastnames":["Kautz"],"firstnames":["H"],"suffixes":[]},{"propositions":[],"lastnames":["Sabharwal"],"firstnames":["A"],"suffixes":[]}],"title":"Towards understanding and harnessing the potential of clause learning","journal":"Journal of Artificial Intelligence Research","volume":"22","number":"","pages":"319–351","year":"2004","abstract":"","location":"","keywords":"","bibtex":"@Article{Beame2004,\nauthor = {Beame, P and Kautz, H and Sabharwal, A}, \ntitle = {Towards understanding and harnessing the potential of clause learning}, \njournal = {Journal of Artificial Intelligence Research}, \nvolume = {22}, \nnumber = {}, \npages = {319--351}, \nyear = {2004}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Beame, P","Kautz, H","Sabharwal, A"],"key":"Beame2004","id":"Beame2004","bibbaseid":"beame-kautz-sabharwal-towardsunderstandingandharnessingthepotentialofclauselearning-2004","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.677Z","downloads":0,"keywords":[],"search_terms":["towards","understanding","harnessing","potential","clause","learning","beame","kautz","sabharwal"],"title":"Towards understanding and harnessing the potential of clause learning","year":2004,"dataSources":["hEoKh4ygEAWbAZ5iy"]}