Computer Science Department
School of Computer Science, Carnegie Mellon University


Selective Enumeration - A Formal Definition

Craig A. Damon

January 1998

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.

Keywords:Relational calculus, exhaustive search, model checking, specification checking, constraint satisfaction

50 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by