Accession Number:

ADA339198

Title:

Selective Enumeration: A Formal Definition

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1998-01-01

Pagination or Media Count:

49.0

Abstract:

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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE