TY  - RPRT
TI  - Monotone 3-Sat-4 is NP-complete
AU  - Andreas Darmann
AU  - Janosch Döcker
PY  - 2016
UR  - https://arxiv.org/abs/1603.07881
ID  - 1603.07881
ER  -