1 problem

General resolution-proof certificate conjecture. For any unsatisfiable formula $F$ and resolution proof $T$, the resulting vector $\bm\mu$ satisfies