Boolean satisfiability for sequence mining.
Saïd JabbourLakhdar SaisYakoub SalhiPublished in: CIKM (2013)
Keyphrases
- sequence mining
- boolean satisfiability
- sat solvers
- probabilistic planning
- sequential pattern mining
- branch and bound algorithm
- integer linear programming
- data mining
- randomly generated
- sat problem
- symmetry breaking
- sequential patterns
- max sat
- pattern discovery
- graph mining
- frequent sequences
- sequential data
- combinatorial problems
- phase transition
- pattern mining
- machine learning
- planning problems
- multi dimensional
- np complete
- dynamic programming
- boolean formula
- learning algorithm
- heuristic search