Lower bounds for width-restricted clause learning on small width formulas

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]

Authors

Eli Ben-Sasson

This author has not been identified. Look up 'Eli Ben-Sasson' in Google

Jan Johannsen

This author has not been identified. Look up 'Jan Johannsen' in Google