The parameterized complexity of k-flip local search for SAT and MAX SAT

Szeider, Stefan

by Stefan Szeider

Reference:

The parameterized complexity of k-flip local search for SAT and MAX SATStefan SzeiderDiscrete Optim., volume 8, number 1, pages 139-145, 2011.

Bibtex Entry:

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