1 problem

Let $F$ range over unsatisfiable CNF formulas with $n$ variables, and let $p$ be a fixed polynomial. Consider the propositional formulas $\mathrm{REF}(F,p(n))$ expressing that $F$…