Author:
Chu Huairui,Xiao Mingyu,Zhang Zhe
Funder
National Natural Science Foundation of China
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. An improved SAT algorithm in terms of formula length;Chen,2009
2. The complexity of theorem-proving procedures;Cook,1971
3. Two systems for proving tautologies, based on the split method;Dantsin;J. Math. Sci.,1983
4. A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search;Dantsin;Theor. Comput. Sci.,2002
5. Algorithms for SAT based on search in Hamming balls;Dantsin,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献