Solving MAX-r-SAT Above a Tight Lower Bound

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{656e80e378874cefa78a942e701856af,

title = "Solving MAX-r-SAT Above a Tight Lower Bound",

author = "Noga Alon and Gregory Gutin and Kim, \{Eun Jung\} and Stefan Szeider and Anders Yeo",

year = "2011",

month = nov,

day = "1",

doi = "10.1007/s00453-010-9428-7",

language = "English",

volume = "61",

pages = "638--655",

journal = "Algorithmica",

issn = "0178-4617",

publisher = "Springer New York",

number = "3",

}