Worst-case Time Bounds for MAX-k-SAT with respect to the Number of Variables Using Local Search.

Edward A. Hirsch

Browse the full ICALP paper archive.