TY  - RPRT
TI  - Satisfiability for Knowing How over Linear Plans is NP-complete
AU  - Carlos Areces
AU  - Pablo Barceló
AU  - Valentin Cassano
AU  - Pablo F. Castro
AU  - Stéphane Demri
AU  - Raul Fervari
PY  - 2026
UR  - https://arxiv.org/abs/2605.19819
ID  - 2605.19819
ER  -