1 problem

Let $\mathcal{U}\mathcal{HIT}$ be the class of unsatisfiable hitting clause-sets, and let $\mathcal{U}\mathcal{HIT}_{\!\!\delta=k}$ denote those of deficiency $k$. Call a variable…