Using Machine Learning Classifiers in SAT Branching [Extended Abstract].
Ruth Helen BerginMarco DallaAndrea VisentinBarry O'SullivanGregory M. ProvanPublished in: SOCS (2023)
Keyphrases
- extended abstract
- machine learning
- machine learning algorithms
- machine learning methods
- decision trees
- machine learning approaches
- supervised classification
- feature selection
- variable ordering
- test set
- multiple classifier systems
- learning classifier systems
- satisfiability problem
- naive bayes
- computer vision
- learning algorithm
- natural language processing
- feature set
- text classification
- linear classifiers
- training set
- pattern recognition
- support vector
- sat solvers
- meta learning
- roc analysis
- ensemble learning
- svm classifier
- ensemble methods
- training samples
- text mining
- search tree
- learning problems
- classification algorithm
- class labels
- supervised learning
- support vector machine
- ensemble classifier
- sat problem
- feature ranking
- knowledge representation
- feature space
- training data
- sat encodings