2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Stefan Dantchev, Barnaby Martin
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 parameteriz…