Ensemble Classification for Constraint Solver Configuration.
Lars KotthoffIan MiguelPeter NightingalePublished in: CP (2010)
Keyphrases
- ensemble classification
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- linear constraints
- ensemble classifier
- ensemble methods
- constraint satisfaction
- constraint satisfaction problems
- sat solvers
- concept drift
- real numbers
- constraint logic programming
- feature selection
- data fusion
- neural network
- temporal reasoning
- change detection
- path consistency
- prediction accuracy
- multiple classifier systems
- lower bound