On the Complexity of k-SAT
暂无分享,去创建一个
[1] Robert E. Tarjan,et al. Finding a Maximum Independent Set , 1976, SIAM J. Comput..
[2] David Eppstein,et al. 3-Coloring in time O(1.3446n): A no-MIS Algorithm , 1995, Electron. Colloquium Comput. Complex..
[3] James M. Crawford,et al. Experimental Results on the Crossover Point in Random 3-SAT , 1996, Artif. Intell..
[4] John Michael Robson,et al. Algorithms for Maximum Independent Sets , 1986, J. Algorithms.
[5] Edward A. Hirsch,et al. Two new upper bounds for SAT , 1998, SODA '98.
[6] Pavel Pudlák,et al. Satisfiability Coding Lemma , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[7] Tang Jian,et al. An O(20.304n) Algorithm for Solving Maximum Independent Set Problem , 1986, IEEE Trans. Computers.
[8] U. Schöning. A probabilistic algorithm for k-SAT and constraint satisfaction problems , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).
[9] Ewald Speckenmeyer,et al. Solving satisfiability in less than 2n steps , 1985, Discret. Appl. Math..
[10] Etsuji Tomita,et al. A Simple Algorithm for Finding a Maximum Clique and Its Worst-Case Time Complexity , 1990, Systems and Computers in Japan.
[11] Russell Impagliazzo,et al. Which Problems Have Strongly Exponential Complexity? , 2001, J. Comput. Syst. Sci..
[12] Ingo Schiermeyer,et al. Solving 3-Satisfiability in Less Then 1, 579n Steps , 1992, CSL.
[13] Noga Alon,et al. The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.
[14] Oliver Kullmann,et al. Deciding propositional tautologies: Algorithms and their complexity , 1997 .
[15] Michael E. Saks,et al. An improved exponential-time algorithm for k-SAT , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
[16] Eugene L. Lawler,et al. A Note on the Complexity of the Chromatic Number Problem , 1976, Inf. Process. Lett..