Finding a tree structure in a resolution proof is NP-complete.

Published in: Theor. Comput. Sci. (2009)

Keyphrases

tree structure
np complete
tree structures
quadtree
data structure
randomly generated
np hard
frequent patterns
tree representation
index structure
mining algorithm
r tree
b tree
xml documents
hierarchical structure
satisfiability problem
query processing
database systems
data model
data sets