TY  - RPRT
TI  - TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
AU  - Mateus de Oliveira Oliveria
AU  - Sam Urmian
PY  - 2026
UR  - https://arxiv.org/abs/2605.09732
ID  - 2605.09732
ER  -