%0 Journal Article %1 journals/jair/AtseriasFT11 %A Atserias, Albert %A Fichte, Johannes Klaus %A Thurley, Marc %D 2011 %J J. Artif. Intell. Res. %K dblp %P 353-373 %T Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. %U http://dblp.uni-trier.de/db/journals/jair/jair40.html#AtseriasFT11 %V 40

@article{journals/jair/AtseriasFT11, added-at = {2017-06-21T00:00:00.000+0200}, author = {Atserias, Albert and Fichte, Johannes Klaus and Thurley, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2023911137acdad5f9786c3214dd22e50/dblp}, ee = {https://doi.org/10.1613/jair.3152}, interhash = {43833af8666e7cc38b134cab04320e64}, intrahash = {023911137acdad5f9786c3214dd22e50}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {353-373}, timestamp = {2017-06-22T11:37:17.000+0200}, title = {Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair40.html#AtseriasFT11}, volume = 40, year = 2011 }