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]

Abstract

Abstract is missing.