论文信息 - An improved deterministic local search algorithm for 3-SAT - 字舞流文

An improved deterministic local search algorithm for 3-SAT

W. Kern | T. Brüggemann

[1] Kazuo Iwama,et al. Improved upper bounds for 3-SAT , 2004, SODA '04.

[2] Jon M. Kleinberg,et al. A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search , 2002, Theor. Comput. Sci..

[3] Uwe Schöning,et al. A Probabilistic Algorithm for k -SAT Based on Limited Local Search and Restart , 2002, Algorithmica.

[4] Osamu Watanabe,et al. A Probabilistic 3-SAT Algorithm Further Improved , 2002, STACS.