Allen Van Gelder Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs. 48-53 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_7 db/conf/sat/sat2006.html#Gelder06