An enhanced features extractor for a portfolio of constraint solvers.

Roberto Amadini Maurizio Gabbrielli Jacopo Mauro

Published in: SAC (2014)

Keyphrases

feature vectors
feature set
constraint solving
genetic algorithm
np hard