@article{DMTCS_2019_21_3_a16,
     author = {Pilz, Alexander},
     title = {Planar {3-SAT} with a {Clause/Variable} {Cycle}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {21},
     number = {3},
     year = {2019},
     doi = {10.23638/DMTCS-21-3-18},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-21-3-18/}
}