Selective Enumeration: A Formal Definition

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1998
Accession Number
ADA339198

Entities

People

  • Craig A. Damon

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Generators
  • Identities
  • Language
  • Notation
  • Numbers
  • Programming Languages
  • Software Development
  • Sound Generators
  • Standards
  • Three Dimensional
  • Trees (Data Structures)

Readers

  • Artificial Intelligence