3 problems

Exact-variable Finiteness Conjecture. For every $k\in\mathbb{N}$,

Let $\mathcal{U}\mathcal{HIT}_{\!\delta=k}$ be the class of unsatisfiable hitting clause-sets of deficiency $k$. Let $\operatorname{singind}(F)$ denote the singular index of $F$, a…

Finiteness conjecture. For every deficiency $k\in\mathbb{N}$, there are only finitely many isomorphism types of non-singular unsatisfiable hitting clause-sets.