State Canonization and Early Pruning in Width-Based Automated Theorem Proving.

Mateus de Oliveira Oliveira, Farhad Vadiee

Browse the full FSCD paper archive.