Approximate algorithms and heuristics for MAX-SAT,” in (1998)

by R Battiti, M Protasi
Venue:Handbook of Combinatorial Optimization