Skip to content

Problem may be PSPACE-hard (complete for satisfaction)