Report 83-21 Finding All of the Solutions to a Problem

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.