Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Stefan Szeider
Information about the author Stefan Szeider will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
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:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers