Johannsen, Jan

2 publications

JAIR 2014 Improved Separations of Regular Resolution from Clause Learning Proof Systems Maria Luisa Bonet, Sam Buss, Jan Johannsen

IJCAI 2011 Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width Eli Ben-Sasson, Jan Johannsen