From Width-Based Model Checking to Width-Based Automated Theorem Proving.

Mateus de Oliveira Oliveira, Farhad Vadiee

Browse the full AAAI paper archive.