@第{zbMATH06676008条，作者={Kov{'a}sznai，Gergely和Fr{“o}hlich，Andreas和Biere，Armin}，标题={固定大小位向量逻辑的复杂性}，FJournal={计算系统理论}，期刊={理论计算系统}，ISSN={1432-4350}，体积={59}，数字={2}，页码={323--376}，年份={2016年}，语言={英语}，DOI={10.1007/s00224-015-9653-1}，关键词={68Q25,68Q17}，zbMATH＝{6676008}，Zbl={1357.68086}}