@文章{zbMATH06544924，作者={海纳尔、史蒂夫和海纳尔，海蒂}，标题={生成和搜索{FFT}算法族}，FJournal={可满足性、布尔建模和计算杂志}，Journal={J.满足布尔模型计算}，ISSN={1574-0617}，体积＝｛7｝，数字={4}，页码={145--187}，年份={2011}，语言={英语}，关键词={68Q25,65T50,68T20,94C10}，zbMATH={6544924}，Zbl={1348.68065}}