New inference rules for efficient max-SAT solving, in (2006)

by J Larrosa, F Heras
Venue:Proc. of AAAI-06