TY  - RPRT
TI  - Characterizing Tseitin-formulas with short regular resolution refutations
AU  - Alexis de Colnet
AU  - Stefan Mengel
PY  - 2021
UR  - https://arxiv.org/abs/2103.09609
ID  - 2103.09609
ER  -