Publications in Scientific Journals:
St. Szeider:
"The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT";
Discrete Optimization,
8
(2011),
1;
139
- 145.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/jdisopt.2010.07.003
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_200947.pdf
Related Projects:
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Created from the Publication Database of the Vienna University of Technology.