@article{treewidth,
  author = {Eric Allender and Shiteng Chen and Tiancheng Lou and Periklis Papakonstantinou and Bangsheng 
Tang},
  title = {Width-parameterized {SAT}: time-space tradeoffs},
journal={Theory of Computing},
  year = {2013},
  note = {To appear}
}

{"_id":{"_str":"534243ba0e946d920a0004a4"},"__v":1,"authorIDs":[],"author_short":["Allender, E.","Chen, S.","Lou, T.","Papakonstantinou, P.","Tang, B."],"bibbaseid":"allender-chen-lou-papakonstantinou-tang-widthparameterizedsattimespacetradeoffs-2013","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Eric"],"propositions":[],"lastnames":["Allender"],"suffixes":[]},{"firstnames":["Shiteng"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Tiancheng"],"propositions":[],"lastnames":["Lou"],"suffixes":[]},{"firstnames":["Periklis"],"propositions":[],"lastnames":["Papakonstantinou"],"suffixes":[]},{"firstnames":["Bangsheng"],"propositions":[],"lastnames":["Tang"],"suffixes":[]}],"title":"Width-parameterized SAT: time-space tradeoffs","journal":"Theory of Computing","year":"2013","note":"To appear","bibtex":"@article{treewidth,\n author = {Eric Allender and Shiteng Chen and Tiancheng Lou and Periklis Papakonstantinou and Bangsheng \nTang},\n title = {Width-parameterized {SAT}: time-space tradeoffs},\njournal={Theory of Computing},\n year = {2013},\n note = {To appear}\n}\n\n","author_short":["Allender, E.","Chen, S.","Lou, T.","Papakonstantinou, P.","Tang, B."],"key":"treewidth","id":"treewidth","bibbaseid":"allender-chen-lou-papakonstantinou-tang-widthparameterizedsattimespacetradeoffs-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["width","parameterized","sat","time","space","tradeoffs","allender","chen","lou","papakonstantinou","tang"],"title":"Width-parameterized SAT: time-space tradeoffs","year":2013,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}