Itemset frequency satisfiability: Complexity and axiomatization.

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

Keyphrases

computational complexity
worst case
np complete
association rule mining
satisfiability problem
association rules
itemsets
frequent itemsets
situation calculus
database
modal logic
phase transition
space complexity
sat problem
computational properties