SAT-Based Data Mining.
Abdelhamid BoudaneSaïd JabbourLakhdar SaisYakoub SalhiPublished in: Int. J. Artif. Intell. Tools (2018)
Keyphrases
- data mining
- data mining techniques
- text mining
- data analysis
- association rules
- knowledge discovery
- sat solvers
- data mining methods
- intrusion detection
- data mining problems
- machine learning
- knowledge discovery in databases
- data mining tasks
- answer set programming
- bounded model checking
- homeland security
- data sets
- data mining applications
- web mining
- business intelligence
- decision support
- reinforcement learning
- real world
- neural network