On the complexity of SAT
| Author(s) : | Anastasios Viglas Richard J. Lipton, |
| Publisher : | N/A |
| Publication Date : | 1999 |
| ISSN : | N/A |
| Abstract : | We show that non-deterministic time NT IME(n) is not contained in deterministic time n, |
©2007 Dammam Community College