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]
@article{FilmusHRSV23,
title = {Proving Unsatisfiability with Hitting Formulas},
author = {Yuval Filmus and Edward A. Hirsch and Artur Riazanov and Alexander Smal and Marc Vinyals},
year = {2023},
url = {https://eccc.weizmann.ac.il/report/2023/016},
researchr = {https://researchr.org/publication/FilmusHRSV23},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {TR23},
}