2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Stefan Dantchev, Barnaby Martin
We provide a number of simplified and improved separations between pairs of Resolution-with-bounded-conjunction refutation systems, Res(d), as well as their tree-like versions, Res…