Short Portfolio Training for CSP Solving.
Mirko StojadinovicMladen NikolicFilip MaricPublished in: CoRR (2015)
Keyphrases
- constraint satisfaction problems
- partial constraint satisfaction
- test set
- online learning
- training process
- training algorithm
- constraint propagation
- dynamic constraint satisfaction problems
- constraint problems
- tree decomposition
- constraint satisfaction
- decision trees
- np hard
- search space
- sat encodings
- distributed constraint satisfaction problems
- training set
- objective function