@misc{indiciae4531672d1242, title = {Hardness measures and resolution lower bounds}, author = {Olaf Beyersdorff and Oliver Kullmann}, year = {2014}, url = {https://arxiv.org/abs/1310.7627}, note = {Source identifier: 1310.7627} }