@第{zbMATH06963791条，作者={Cimatti、Alessandro和Griggio、Alberto和Irfan、Ahmed和Roveri、Marco和Sebastiani、Roberto}，标题={可满足性的增量线性化和验证模非线性算术和超越函数}，FJournal={ACM计算逻辑事务}，Journal＝｛ACM事务计算日志｝，ISSN={1529-3785}，体积={19}，数字＝｛3｝，页码={52}，注={Id/No 19}，年份={2018年}，语言={英语}，DOI={10.1145/3230639}，关键词={68Q60,68T20}，zbMATH={6963791}，Zbl={1407.68285}}