New upper bounds for MaxSat (0)

by R Niedermeier, P Rossmanith
Venue:J. Algorithms