Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving.

Charles Elkan

Browse the full IJCAI paper archive.