%0 Conference Paper %1 conf/ijcai/BeameKS03 %A Beame, Paul %A Kautz, Henry A. %A Sabharwal, Ashish %B IJCAI %D 2003 %E Gottlob, Georg %E Walsh, Toby %I Morgan Kaufmann %K dblp %P 1194-1201 %T Understanding the Power of Clause Learning. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2003.html#BeameKS03

@inproceedings{conf/ijcai/BeameKS03, added-at = {2019-08-20T00:00:00.000+0200}, author = {Beame, Paul and Kautz, Henry A. and Sabharwal, Ashish}, biburl = {https://www.bibsonomy.org/bibtex/25f1dbb551cc007884a56703727d1db50/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2003}, editor = {Gottlob, Georg and Walsh, Toby}, ee = {http://ijcai.org/Proceedings/03/Papers/171.pdf}, interhash = {a906a6ef962e21c2c623b445f610a485}, intrahash = {5f1dbb551cc007884a56703727d1db50}, keywords = {dblp}, pages = {1194-1201}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:52:16.000+0200}, title = {Understanding the Power of Clause Learning.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2003.html#BeameKS03}, year = 2003 }