TY  - RPRT
TI  - From Width-Based Model Checking to Width-Based Automated Theorem Proving
AU  - Mateus de Oliveira Oliveira
AU  - Sam Urmian
PY  - 2024
UR  - https://arxiv.org/abs/2205.10995
ID  - 2205.10995
ER  -