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

Matthias Poloczek, Georg Schnitger, David P. Williamson, Anke van Zuylen
Satisfiability
DOI
Type
Journal article
Publication
SIAM Journal on Computing 46:1029-1061, 2017