1 problem

Let $F$ be a clause-set with deficiency surplus $\operatorname{\sigma}(F) \ge 1$. Write $\mu\\!\operatorname{vd}(F)$ for its minimum variable-degree and $\operatorname{nM}(k)$ for…