2000 character limit reached
Parameterized Resolution with bounded conjunction (1204.2983v1)
Published 13 Apr 2012 in cs.LO
Abstract: We provide separations between the parameterized versions of Res(1) (Resolution) and Res(2). Using a different set of parameterized contradictions, we also separate the parameterized versions of Res*(1) (tree-Resolution) and Res*(2).