TY  - RPRT
TI  - Planar 3-SAT with a Clause/Variable Cycle
AU  - Alexander Pilz
PY  - 2019
DO  - 10.23638/dmtcs-21-3-18
UR  - https://arxiv.org/abs/1710.07476
ID  - 1710.07476
ER  -