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 journal › Article
Forthcoming
| Original language | English |
|---|---|
| Number of pages | 8 |
| Journal | Information and Computation |
| Publication status | Accepted/In press - 2013 |
ID: 17832769