A new bound for 3-satisfiable MaxSat and its algorithmic application. / Gutin, Gregory; Jones, Mark; Scheder, Dominic ; Yeo, Anders.

In: Information and Computation, 2013.

Research output: Contribution to journalArticle

Forthcoming
Original languageEnglish
Number of pages8
JournalInformation and Computation
Publication statusAccepted/In press - 2013

ID: 17832769