Width-Parametrized SAT: Time--Space Tradeoffs

Eric Allender, Shiteng Chen, Tiancheng Lou, Periklis A. Papakonstantinou, Bangsheng Tang. Width-Parametrized SAT: Time--Space Tradeoffs. Theory of Computing, 10:297-339, 2014. [doi]

Abstract

Abstract is missing.