An Approximation Algorithm for MAX-2-SAT with Cardinality Constraint.

Thomas Hofmeister

Published in: ESA (2003)

Keyphrases

computational complexity
dynamic programming
randomly generated
search space
genetic algorithm
linear programming
objective function
cost function
special case
integrity constraints
branch and bound
search strategy
max sat