New CNF Features and Formula Classification.
Enrique Matos AlfonsoNorbert MantheyPublished in: POS@SAT (2014)
Keyphrases
- feature set
- feature vectors
- feature extraction
- classification accuracy
- classification process
- classification models
- extracted features
- class labels
- feature space
- extracting features
- classification method
- feature selection
- benchmark datasets
- svm classifier
- support vector
- decision tree classifiers
- feature construction
- image classification
- machine learning
- irrelevant features
- feature values
- classification rules
- high dimensionality
- training samples
- training set
- feature selection algorithms
- pattern classification
- classification scheme
- feature representation
- feature analysis
- decision trees
- eeg signals
- classification algorithm
- discriminative features
- false positives
- feature extraction and classification
- category labels