TY  - RPRT
TI  - Are Hitting Formulas Hard for Resolution?
AU  - Tomáš Peitl
AU  - Stefan Szeider
PY  - 2022
UR  - https://arxiv.org/abs/2206.15225
ID  - 2206.15225
ER  -