Satisfiability in a larger domain.

R. L. Goodstein

Published in: Notre Dame J. Formal Log. (1974)

Keyphrases

domain specific
satisfiability problem
computational complexity
np complete
information retrieval
domain independent
domain knowledge
decision procedures
database
computational properties
phase transition
image sequences
database systems
genetic algorithm
machine learning
real world
databases