Szeider Stefan

Stefan Szeider

Information about the author Stefan Szeider will soon be added to the site.
Found 1 papers in total
The parameterized complexity of k‐flip local search for SAT and MAX SAT
2011
SAT and MAX SAT are among the most prominent problems for which local search...
Papers per page: