Frequent Patterns Mining for the Satisfiability Problem.
Célia HirècheHabiba DriasNeyla Cherifa BenhamoudaPublished in: POLIBITS (2017)
Keyphrases
- frequent patterns
- satisfiability problem
- frequent pattern mining
- mining algorithm
- mining frequent patterns
- pattern mining
- np complete
- temporal logic
- interesting patterns
- sequential patterns
- itemsets
- transactional databases
- search algorithm
- association rules
- tree structure
- mining frequent
- closed patterns
- stochastic local search algorithms
- pattern growth
- sequential pattern mining
- discovering frequent
- data structure
- discovery of frequent patterns
- phase transition
- apriori algorithm
- minimum support
- maximal frequent
- fp tree
- uncertain data
- frequent pattern tree
- candidate generation
- transaction databases
- frequent itemsets
- frequent pattern mining algorithms
- model checking
- closed sequential patterns
- special case
- frequent subgraphs
- relational databases
- huge number
- data sets