@第{zbMATH06823092条，作者={Tung，Vu Xuan and Khanh，To Van and Ogawa，Mizuhito}，Title={{raSAT}：多项式约束的{SMT}解算器}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={51}，数字={3}，页码＝{462-499}，年份={2017年}，语言={英语}，DOI={10.1007/s10703-017-0284-9}，关键词={68Q60,68T15}，zbMATH={6823092}，Zbl={1377.68140}}