TY  - JOUR
AU  - Pilz, Alexander
TI  - Planar 3-SAT with a Clause/Variable Cycle
JO  - Discrete mathematics & theoretical computer science
PY  - 2019
VL  - 21
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-21-3-18/
DO  - 10.23638/DMTCS-21-3-18
LA  - en
ID  - DMTCS_2019_21_3_a16
ER  -