@article{Szeider11b,
 author = {Szeider, Stefan},
 journal = {Discrete Optim.},
 number = {1},
 pages = {139-145},
 title = {The parameterized complexity of k-flip local search for
{SAT} and {MAX} {SAT}},
 volume = {8},
 year = {2011}
}