1 citations · 1 across the 1 of their papers we have counts for
1 paper
Olaf Beyersdorff, Oliver Kullmann
Various "hardness" measures have been studied for resolution, providing theoretical insight into the proof complexity of resolution and its fragments, as well as explanations for t…