@article{v010a012, author = {Allender, Eric and Chen, Shiteng and Lou, Tiancheng and Papakonstantinou, Periklis A. and Tang, Bangsheng}, title = {Width-Parametrized SAT: Time--Space Tradeoffs}, year = {2014}, pages = {297--339}, doi = {10.4086/toc.2014.v010a012}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {10}, number = {12}, URL = {https://theoryofcomputing.org/articles/v010a012}, }