Proving Unsatisfiability with Hitting Formulas

Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals

Technion - Israel Institute of Technology

Research output: Book/Report › Report

Original language	American English
DOIs	https://doi.org/10.48550/ARXIV.2302.06241
State	Published - 2023

Access to Document

https://doi.org/10.48550/ARXIV.2302.06241

Cite this