A note on width-parameterized SAT: An exact machine-model characterization

Periklis A. Papakonstantinou. A note on width-parameterized SAT: An exact machine-model characterization. Inf. Process. Lett., 110(1):8-12, 2009. [doi]

Abstract

Abstract is missing.