TY  - RPRT
TI  - State Canonization and Early Pruning in Width-Based Automated Theorem Proving
AU  - Mateus de Oliveira Oliveira
AU  - Sam Urmian
PY  - 2026
UR  - https://arxiv.org/abs/2605.11025
ID  - 2605.11025
ER  -