Planar 3-SAT with a Clause/Variable Cycle

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},
}