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

Elkan. "Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving." International Joint Conference on Artificial Intelligence, 1989.

[Elkan. "Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/elkan1989ijcai-conspiracy/)

@inproceedings{elkan1989ijcai-conspiracy,
  title     = {{Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving}},
  author    = {Elkan, Charles},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1989},
  pages     = {341-348},
  url       = {https://mlanthology.org/ijcai/1989/elkan1989ijcai-conspiracy/}
}