Eli Ben-Sasson, Jan Johannsen. Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 2570-2575, IJCAI/AAAI, 2011. [doi]
Abstract is missing.