%0 Conference Paper %1 conf/sat/SabharwalBK03 %A Sabharwal, Ashish %A Beame, Paul %A Kautz, Henry A. %B SAT %D 2003 %E Giunchiglia, Enrico %E Tacchella, Armando %I Springer %K dblp %P 242-256 %T Using Problem Structure for Efficient Clause Learning. %U http://dblp.uni-trier.de/db/conf/sat/sat2003.html#SabharwalBK03 %V 2919 %@ 3-540-20851-8

@inproceedings{conf/sat/SabharwalBK03, added-at = {2023-09-30T00:00:00.000+0200}, author = {Sabharwal, Ashish and Beame, Paul and Kautz, Henry A.}, biburl = {https://www.bibsonomy.org/bibtex/2618a690421441051fab3cd3c570e3219/dblp}, booktitle = {SAT}, crossref = {conf/sat/2003}, editor = {Giunchiglia, Enrico and Tacchella, Armando}, ee = {https://doi.org/10.1007/978-3-540-24605-3_19}, interhash = {a148220db9118b85c9dba81496b9c612}, intrahash = {618a690421441051fab3cd3c570e3219}, isbn = {3-540-20851-8}, keywords = {dblp}, pages = {242-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:34.000+0200}, title = {Using Problem Structure for Efficient Clause Learning.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2003.html#SabharwalBK03}, volume = 2919, year = 2003 }