More on trees and finite satisfiability: the taming of terms.

Miodrag Kapetanovic Aleksandar Krapez

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

Keyphrases

decision trees
database
data structure
search space
np complete
tree structure
data mining
metadata
phase transition
sat problem