1 research outputs found
Parameterized Resolution with bounded conjunction
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)