Solving MAX-r-SAT Above a Tight Lower Bound. / Alon, N.; Gutin, G.; Kim, E.J.; Szeider, S.; Yeo, Anders.

2010. 158--169.

Research output: Contribution to conferencePaper

Published
Original languageUndefined/Unknown
Pages158--169
Publication statusPublished - 2010

ID: 1798386