安德鲁·雷诺兹;哇,小牛;克拉克·巴雷特;大卫·布鲁姆利;梁天一;塞萨尔·蒂内利 使用上下文相关简化放大DPLL(T)字符串解算器。 (英语) Zbl 1494.68255号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 453-474 (2017).MSC公司:68T20型 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,Lect。注释计算。科学。10427453-474(2017年;Zbl 1494.68255) 全文: 内政部
梁天一;安德鲁·雷诺兹;内斯坦Tsiskaridze;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 字符串约束的高效SMT解算器。 (英语) 兹比尔1404.68135 形式方法系统。设计。 48,第3期,206-234(2016).MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Liang}等人,《形式方法系统》。设计。48,第3号,206--234(2016;Zbl 1404.68135) 全文: 内政部
梁天一;内斯塔·齐斯卡里泽;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 无界字符串上正则成员资格和长度约束的决策过程。 (英语) Zbl 1471.68119号 Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 135-150 (2015).MSC公司:65年第68季度 03B25号 03B35型 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Liang}等人,Lect。注释计算。科学。9322,135-150(2015;Zbl 1471.68119) 全文: 内政部