@第{zbMATH06275287条，作者={Wintersteiger，Christoph M.和Hamadi，Youssef和De Moura，Leonardo}，标题＝{有效地求解量化的比特向量公式}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={42}，数字={1}，页码={3--23}，年份={2013}，语言={英语}，DOI={10.1007/s10703-012-0156-2}，关键词={03B70，68Q60，68T15，68T20}，zbMATH={6275287}，Zbl={1284.03212}}