TY  - RPRT
TI  - Unsatisfiable hitting clause-sets with three more clauses than variables
AU  - Oliver Kullmann
AU  - Xishun Zhao
PY  - 2016
UR  - https://arxiv.org/abs/1604.01288
ID  - 1604.01288
ER  -