TY  - RPRT
TI  - Proving Unsatisfiability with Hitting Formulas
AU  - Yuval Filmus
AU  - Edward A. Hirsch
AU  - Artur Riazanov
AU  - Alexander Smal
AU  - Marc Vinyals
PY  - 2024
UR  - https://arxiv.org/abs/2302.06241
ID  - 2302.06241
ER  -