Search Results

thumbnail image
PDF
PDF-1(756.59 kb)

Citation & Export

Simple citation

Allender, Eric & Chen, Shiteng & Lou, Tiancheng & Papakonstantinou, Periklis & Tang, Bangsheng (2014). Width-parameterized SAT: time-space tradeoffs,. Theory of Computing, 10(12), 297-339. Retrieved from https://doi.org/doi:10.7282/T3N87CM1

Export

Statistics