Boolean Formulas and Frequent Sets.
Jouni K. SeppänenHeikki MannilaPublished in: Constraint-Based Mining and Inductive Databases (2004)
Keyphrases
- frequent sets
- boolean formula
- association rules
- sat solvers
- practical problems
- frequently occurring
- np complete
- itemsets
- linear constraints
- previously unknown
- data mining algorithms
- uncertain data
- membership queries
- binary decision diagrams
- max sat
- mining frequent
- constraint satisfaction
- boolean functions
- sat problem
- data mining
- graph mining
- phase transition
- equivalence queries
- constraint satisfaction problems
- machine learning
- databases