Selective Enumeration: A Formal Definition
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
Pagination or Media Count:
Selective enumeration is a method for reducing the number of cases required when performing a generate and test search to solve relational formulae. This paper gives a formal definition of selective enumeration and using that definition, proves soundness for each of the selective enumeration techniques developed.