@inproceedings{Szeider09,
 author = {Stefan Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing - SAT
2009, 12th International Conference, SAT 2009, Swansea,
UK, June 30 - July 3, 2009. Proceedings},
 editor = {Oliver Kullmann},
 pages = {276-283},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {The Parameterized Complexity of k-Flip Local Search for
{SAT} and {MAX SAT}},
 volume = {5584},
 year = {2009}
}