Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals. Proving Unsatisfiability with Hitting Formulas. Electronic Colloquium on Computational Complexity (ECCC), TR23, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.