Lower bounds on the complexity of recognizing SAT by Turing machines
Rahul SanthanamVolume:
79
Year:
2001
Language:
english
Pages:
5
DOI:
10.1016/s0020-0190(00)00227-1
File:
PDF, 60 KB
english, 2001