Keyphrases
- unsatisfiable cores
- hidden structure
- max sat
- information extraction
- boolean satisfiability
- automatic extraction
- maximum satisfiability
- ensemble methods
- search algorithm
- weak learners
- automatically extracted
- ensemble learning
- sat solvers
- genetic algorithm
- lower bound
- feature selection
- satisfiability problem
- ensemble classifier
- weak classifiers
- tabu search
- object detection
- support vector
- website
- computer vision
- learning algorithm