Alexander Pilz. Planar 3-SAT with a Clause/Variable Cycle. Discrete Mathematics & Theoretical Computer Science, 21(3), 2019. [doi]
@article{Pilz19, title = {Planar 3-SAT with a Clause/Variable Cycle}, author = {Alexander Pilz}, year = {2019}, url = {http://dmtcs.episciences.org/5521}, researchr = {https://researchr.org/publication/Pilz19}, cites = {0}, citedby = {0}, journal = {Discrete Mathematics & Theoretical Computer Science}, volume = {21}, number = {3}, }