@第{zbMATH06395196条，作者={Allender，Eric and Chen，Shiteng and Lou，Tiancheng and Papakonstantinou，Periklis A.and Tang，Bangsheng}，标题＝{宽度参数化{SAT}：时空权衡}，FJournal＝{计算理论}，期刊={理论计算}，ISSN={1557-2862}，体积={10}，页码={297--339}，注={Id/No 12}，年份={2014}，语言={英语}，DOI={10.4086/toc.2014.v010a012}，关键词={68Q15,68Q25}，zbMATH={6395196}，Zbl={1319.68094}}