On the Classification of Industrial SAT Families.
Carlos AnsóteguiMaria Luisa BonetJesús Giráldez-CruJordi LevyPublished in: CCIA (2015)
Keyphrases
- machine learning
- automatic classification
- pattern classification
- classification algorithm
- classification systems
- classification accuracy
- text classification
- classification models
- feature space
- propositional satisfiability
- neural network
- industrial applications
- phase transition
- machine learning methods
- image classification
- support vector
- decision trees
- feature selection
- unsupervised learning
- training samples
- machine learning algorithms
- decision rules
- np complete
- classification method
- supervised learning
- training set
- satisfiability problem
- preprocessing
- sat solvers
- pattern recognition