Eli Ben-Sasson, Jan Johannsen. Lower bounds for width-restricted clause learning on small width formulas. Electronic Colloquium on Computational Complexity (ECCC), 17:85, 2010. [doi]
@article{Ben-SassonJ10, title = {Lower bounds for width-restricted clause learning on small width formulas}, author = {Eli Ben-Sasson and Jan Johannsen}, year = {2010}, url = {http://eccc.hpi-web.de/report/2010/085}, researchr = {https://researchr.org/publication/Ben-SassonJ10}, cites = {0}, citedby = {0}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, volume = {17}, pages = {85}, }