Zeitschriftenartikel:
St. Szeider:
"The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT";
Discrete Optimization,
8
(2011),
1;
S. 139
- 145.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/jdisopt.2010.07.003
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_200947.pdf
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.