董武轩;Khanh,To Van先生;小川,水井裕人 raSAT:多项式约束的SMT解算器。 (英语) Zbl 1377.68140号 表格方法系统。设计。 51,第3期,462-499(2017).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.X.Tung}等人,《形式方法系统》。设计。51,第3号,462--499(2017;Zbl 1377.68140) 全文: 内政部
董武轩;Khanh,To Van先生;小川,水井裕人 raSAT:多项式约束的SMT解算器。 (英语) Zbl 1475.68359号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 228-237 (2016).MSC公司:68T20型 68伏15 90立方 PDF格式BibTeX公司 XML格式引用 \textit{V.X.Tung}等人,Lect。注释计算。科学。9706228--237(2016;Zbl 1475.68359) 全文: 内政部