@第{zbMATH06912615条，作者={Herrmann，Christian和Ziegler，Martin}，标题={量子可满足性的计算复杂性}，FJournal={ACM杂志}，期刊={J.ACM}，ISSN={0004-5411}，体积＝{63}，数字={2}，页码={31}，注={Id/No 19}，年份＝{2016}，语言={英语}，DOI={10.1145/2869073}，关键词={68Q25,03D78，68Q12，68Q17，81P10}，zbMATH={6912615}，Zbl={1426.68123}}