The IntSat Method for Integer Linear Programming.

Robert Nieuwenhuis

Published in: CP (2014)

Keyphrases

integer linear programming
objective function
similarity measure
evolutionary algorithm
dynamic programming
column generation
genetic algorithm
search algorithm
special case
cost function
training samples
random variables
search strategies