Satisfiability with Index Dependency.

Hongyu Liang Jing He

Published in: J. Comput. Sci. Technol. (2012)

Keyphrases

index structure
satisfiability problem
propositional logic
computational complexity
database
real time
phase transition
terminological reasoning
case study
similarity measure
data structure
expressive power
b tree