Nondeterministic Polynomial Time versus Nondeterministic Logartithmic Space: Time-Space Tradeoffs for Satisfiability. Fortnow, L. In Proceedings of the 12th IEEE Conference on Computational Complexity, pages 52-60. IEEE, New York, 1997. Paper Paper doi bibtex @incollection{npvsnl-C,
author = {L. Fortnow},
title = {Nondeterministic Polynomial Time versus Nondeterministic
Logartithmic Space: Time-Space Tradeoffs for
Satisfiability},
url = "https://dx.doi.org/10.1109/CCC.1997.612300",
doi = "10.1109/CCC.1997.612300",
publisher = "IEEE",
address = "New York",
booktitle = sict12,
year = 1997,
pages = {52-60},
url_Paper = "https://lance.fortnow.com/papers/files/npvsnl.pdf"}
Downloads: 0
{"_id":"87mewPTt4vew5c3oj","bibbaseid":"fortnow-nondeterministicpolynomialtimeversusnondeterministiclogartithmicspacetimespacetradeoffsforsatisfiability-1997","downloads":0,"creationDate":"2016-02-09T20:07:42.237Z","title":"Nondeterministic Polynomial Time versus Nondeterministic Logartithmic Space: Time-Space Tradeoffs for Satisfiability","author_short":["Fortnow, L."],"year":1997,"bibtype":"incollection","biburl":"https://github.com/fortnow/pubs2/raw/master/pubs.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["L."],"propositions":[],"lastnames":["Fortnow"],"suffixes":[]}],"title":"Nondeterministic Polynomial Time versus Nondeterministic Logartithmic Space: Time-Space Tradeoffs for Satisfiability","url":"https://dx.doi.org/10.1109/CCC.1997.612300","doi":"10.1109/CCC.1997.612300","publisher":"IEEE","address":"New York","booktitle":"Proceedings of the 12th IEEE Conference on Computational Complexity","year":"1997","pages":"52-60","url_paper":"https://lance.fortnow.com/papers/files/npvsnl.pdf","bibtex":"@incollection{npvsnl-C,\nauthor = {L. Fortnow},\ntitle = {Nondeterministic Polynomial Time versus Nondeterministic\n Logartithmic Space: Time-Space Tradeoffs for\nSatisfiability},\nurl = \"https://dx.doi.org/10.1109/CCC.1997.612300\",\ndoi = \"10.1109/CCC.1997.612300\",\npublisher = \"IEEE\",\naddress = \"New York\",\nbooktitle = sict12,\nyear = 1997,\npages = {52-60},\nurl_Paper = \"https://lance.fortnow.com/papers/files/npvsnl.pdf\"}\n\n","author_short":["Fortnow, L."],"key":"npvsnl-C","id":"npvsnl-C","bibbaseid":"fortnow-nondeterministicpolynomialtimeversusnondeterministiclogartithmicspacetimespacetradeoffsforsatisfiability-1997","role":"author","urls":{"Paper":"https://dx.doi.org/10.1109/CCC.1997.612300"," paper":"https://lance.fortnow.com/papers/files/npvsnl.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["nondeterministic","polynomial","time","versus","nondeterministic","logartithmic","space","time","space","tradeoffs","satisfiability","fortnow"],"keywords":[],"authorIDs":[],"dataSources":["Qo8NuaKyuaTqZRa6n","oWB3XQwMpuvaY9GG2","uKt7RQWEWWvqzsXYy","Pku8vFzFhtx9p7pE6"]}