@第{zbMATH07020216条，作者={Niewiadomski，Artur and Switalski，Piotr and Sidoruk，Teofil and Penczek，Wojciech}，标题={{SMT}-解算器实际操作：编码并解决{NP}和{EXPTIME}}中的选定问题，FJournal＝{计算机科学科学年鉴}，期刊={Sci.Ann.Compute.Sci.}，ISSN={1843-8121}，体积={28}，数字={2}，页码={269--288}，年份={2018年}，语言={英语}，DOI={10.7561/SACS.2018.2269}，关键词={68T20,68Q25}，zbMATH={7020216}，Zbl={1424.68151}}