"Planar 3-SAT with a Clause/Variable Cycle."

Alexander Pilz (2019)

Details and statistics

DOI: 10.23638/DMTCS-21-3-18

access: open

type: Journal Article

metadata version: 2023-01-24