Approximating Weighted Max-SAT Problems by Compensating for Relaxations.

Arthur Choi Trevor Standley Adnan Darwiche

Published in: CP (2009)

Keyphrases

weighted max sat
max sat
optimal solution
optimization problems
np complete
practical problems