Structure features for SAT instances classification.
Carlos AnsóteguiMaria Luisa BonetJesús Giráldez-CruJordi LevyPublished in: J. Appl. Log. (2017)
Keyphrases
- classification accuracy
- feature vectors
- feature set
- feature extraction
- feature space
- sat instances
- classification models
- feature selection
- satisfiability problem
- support vector
- text classification
- expressive power
- knowledge base
- sat problem
- machine learning
- knowledge representation
- orders of magnitude
- heuristic search
- benchmark data sets
- naive bayes classifier