Publications in Scientific Journals:
N. Alon, G. Gutin, E. Kim, St. Szeider, A. Yeo:
"Solving MAX-r-SAT Above a Tight Lower Bound";
Algorithmica,
61
(2011),
3;
638
- 655.
Keywords:
Max SAT · Fixed-parameter tractable · Above lower bound · Kernel · Bikernel
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s00453-010-9428-7
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_200704.pdf
Related Projects:
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Created from the Publication Database of the Vienna University of Technology.