Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. 3-coloring in time O(1.3446n): a no-MIS algorithm;Beigel,1995
2. The Language of Machines: An Introduction of Computability and Formal Languages;Beigel,1993
3. Two systems for proving tautologies, based on the split method;Dantsin;J. Sov. Math.,1983
4. A machine program for theorem-proving;Davis;Comm. ACM,1962
5. A computing procedure for quantification theory;Davis;J. ACM,1960
Cited by
121 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献