@misc{indiciaeec8fc97bedfa,
  title = {Proving Unsatisfiability with Hitting Formulas},
  author = {Yuval Filmus and Edward A. Hirsch and Artur Riazanov and Alexander Smal and Marc Vinyals},
  year = {2024},
  url = {https://arxiv.org/abs/2302.06241},
  note = {Source identifier: 2302.06241}
}