TY  - RPRT
TI  - Linear Planar 3-SAT and Its Applications in Planning
AU  - Victorien Desbois
AU  - Ocan Sankur
AU  - François Schwarzentruber
PY  - 2025
UR  - https://arxiv.org/abs/2506.14713
ID  - 2506.14713
ER  -