Satisfiability with Index Dependency.

Hongyu Liang Jing He

Published in: ISAAC (1) (2010)

Keyphrases

np complete
satisfiability problem
computational complexity
genetic algorithm
case study
index structure
sat problem
database
knowledge base
query processing
nearest neighbor
logic programs
inverted index
indexing method
structural similarity