TY  - RPRT
TI  - Structure-Guided Automated Reasoning
AU  - Max Bannach
AU  - Markus Hecher
PY  - 2025
UR  - https://arxiv.org/abs/2312.14620
ID  - 2312.14620
ER  -