A New Algorithm for Parameterized MAX-SAT.

Ivan Bliznets Alexander Golovnev

Published in: IPEC (2012)

Keyphrases

np hard
learning algorithm
computational complexity
dynamic programming
objective function
cost function
linear programming
neural network
satisfiability problem
particle swarm optimization