Greedy Algorithms for the Maximum Satisfiability Problem: Simple Algorithms and Inapproximability Bounds

Type
Publication
SIAM Journal on Computing 46:1029-1061, 2017