Zeitschriftenartikel:
N. Alon, G. Gutin, E. Kim, St. Szeider, A. Yeo:
"Solving MAX-r-SAT Above a Tight Lower Bound";
Algorithmica,
61
(2011),
3;
S. 638
- 655.
Schlagworte:
Max SAT · Fixed-parameter tractable · Above lower bound · Kernel · Bikernel
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s00453-010-9428-7
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_200704.pdf
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.