TY  - RPRT
TI  - Monotone 3-Sat-(2,2) is NP-complete
AU  - Janosch Döcker
PY  - 2019
UR  - https://arxiv.org/abs/1912.08032
ID  - 1912.08032
ER  -