Classification of minimally unsatisfiable 2-CNFs.
Hoda AbbasizanjaniOliver KullmannPublished in: CoRR (2020)
Keyphrases
- classification accuracy
- automatic classification
- pattern recognition
- decision trees
- classification scheme
- support vector
- classification models
- training samples
- machine learning
- pattern classification
- support vector machine svm
- cnf formula
- neural network
- generalization ability
- text classification
- feature set
- feature vectors
- training set
- feature extraction
- image classification
- support vector machine
- classification method
- constraint satisfaction
- feature space
- face recognition
- classification systems
- feature selection