Algorithms for the maximum satisfiability problem (1990)

by P Hansen, B Jaumard
Venue:Computing