Evolved preambles for MAX-SAT heuristics

Luis O. Rigo, Valmir C. Barbosa

MAX-SAT heuristics normally operate from random initial truth assignments to the variables. We consider the use of what we call preambles, which are sequences of variables with cor…