Ensemble Classification for Constraint Solver Configuration.

Lars Kotthoff Ian Miguel Peter Nightingale

Published 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