Finding All of the Solutions to a Problem
Abstract
This paper describes a method of cutting off reasoning when all of the answers to a problem have been found. Briefly, the method involves keeping and maintaining information about the sizes of important sets, and using this information to determine when all of the answers to a problem have been found. We show how this information can be dynamically calculated and kept accurate in a changing world. Additional complexity is encountered when this maintenance is mixed with independent meta-level reasoning for pruning search spaces.
Cite
Text
Smith. "Finding All of the Solutions to a Problem." AAAI Conference on Artificial Intelligence, 1983.Markdown
[Smith. "Finding All of the Solutions to a Problem." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/smith1983aaai-finding/)BibTeX
@inproceedings{smith1983aaai-finding,
title = {{Finding All of the Solutions to a Problem}},
author = {Smith, David E.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1983},
pages = {373-377},
url = {https://mlanthology.org/aaai/1983/smith1983aaai-finding/}
}