An Approximation Algorithm for MAX 3-SAT.

Takao Ono Tomio Hirata Takao Asano

Published in: ISAAC (1995)

Keyphrases

computational complexity
dynamic programming
linear programming
np hard
objective function
optimal solution
search space
probabilistic model
learning algorithm
test collection
cellular automata
branch and bound algorithm
randomly generated
max sat