@article{dmtcs:4742,
    title      = {Planar 3-SAT with a Clause/Variable Cycle},
    author     = {Alexander Pilz},
    url        = {https://dmtcs.episciences.org/4742},
    doi        = {10.23638/DMTCS-21-3-18},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {Vol. 21 no. 3},
    issuetitle = {Discrete Algorithms},
    eid        = 18,
    year       = {2019},
    month      = {Jun},
    keywords   = {Computer Science - Computational Complexity, Computer Science - Computational Geometry},
}