CMU-CS-98-104
Computer Science Department
School of Computer Science, Carnegie Mellon University


CMU-CS-98-104

Selective Enumeration - A Formal Definition

Craig A. Damon

January 1998

CMU-CS-98-104.ps


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 reports@cs.cmu.edu