TY  - RPRT
TI  - Width-parameterized SAT: Time-Space Tradeoffs
AU  - Shiteng Chen
AU  - Tiancheng Lou
AU  - Periklis Papakonstantinou
AU  - Bangsheng Tang
PY  - 2011
UR  - https://arxiv.org/abs/1108.2385
ID  - 1108.2385
ER  -