Login / Signup

A parameterized runtime analysis of evolutionary algorithms for MAX-2-SAT.

Andrew M. SuttonJareth DayFrank Neumann
Published in: GECCO (2012)
Keyphrases
  • evolutionary algorithm
  • max sat
  • scheduling problem
  • branch and bound algorithm
  • genetic algorithm
  • search algorithm
  • special case
  • linear programming
  • satisfiability problem
  • sat solvers