Robust Benchmark Set Selection for Boolean Constraint Solvers.

Holger H. Hoos Benjamin Kaufmann Torsten Schaub Marius Schneider

Published in: LION (2013)

Keyphrases

constraint solving
neural network
evolutionary algorithm
multi objective
constraint satisfaction problems
branch and bound algorithm
constraint propagation
finite number