@第{zbMATH07433026条，作者={Niemetz、Aina和Preiner、Mathias和Reynolds、Andrew和Zohar、Yoni和Barrett、Clark和Tinelli、Cesare}，Title={朝向可满足模参数位向量}，FJournal＝{自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={65}，数字={7}，页码={1001--1025}，年份={2021}，语言={英语}，DOI={10.1007/s10817-021-09598-9}，关键词={68V15}，zbMATH={7433026}}