TY  - RPRT
TI  - Planning as Theorem Proving with Heuristics
AU  - Mikhail Soutchanski
AU  - Ryan Young
PY  - 2023
UR  - https://arxiv.org/abs/2303.13638
ID  - 2303.13638
ER  -