TY  - RPRT
TI  - On simplified NP-complete variants of Not-All-Equal 3-Sat and 3-Sat
AU  - Andreas Darmann
AU  - Janosch Döcker
PY  - 2019
UR  - https://arxiv.org/abs/1908.04198
ID  - 1908.04198
ER  -