Author:
Cook Stephen A.,Luby Michael
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference8 articles.
1. On relating time and space to size and depth;Borodin;SIAM J. Comput.,1977
2. The complexity of theorem-proving procedures;Cook;Proc. 3rd ACM Symp. on Theory of Computing,1971
3. A taxonomy of problems with fast parallel algorithms;Cook;Inform. & Control,1985
4. A computing procedure for qualification theory;Davis;J. ACM,1960
5. On the complexity of timetable and multicommodity flow problems;Even;SIAM J. Comput.,1976
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献