Features for Building CSP Portfolio Solvers.

Roberto Amadini Maurizio Gabbrielli Jacopo Mauro

Published in: CoRR (2013)

Keyphrases

data sets
constraint satisfaction problems
benchmark datasets
feature vectors
low level
false positives
face recognition
image features
constraint propagation
constraint problems