Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving (1989)

by C Elkan
Venue:Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI-89