Selective Enumeration: A Formal Definition

摘要

Selective enumeration is a method for reducing the number of cases required whenperforming 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.