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

Edward A. Hirsch Worst-case Time Bounds for MAX-k-SAT with respect to the Number of Variables Using Local Search. 69-76 2000 ICALP Satellite Workshops db/conf/icalp/icalpw2000.html#Hirsch00