Linear Planar 3-SAT is NP-complete, its reconfiguration is PSPACE-complete, and these results imply NP-completeness of bounded 2D connected multi-agent pathfinding and PSPACE-completeness of the unbounded version.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Linear Planar 3-SAT and Its Applications in Planning
Linear Planar 3-SAT is NP-complete, its reconfiguration is PSPACE-complete, and these results imply NP-completeness of bounded 2D connected multi-agent pathfinding and PSPACE-completeness of the unbounded version.