期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Equality detection for linear arithmetic constraints
1
作者 Li LI Kai-duo HE +1 位作者 Ming GU Xiao-yu SONG 《浙江大学学报:A卷英文版》 SCIE EI CAS CSCD 2009年第12期1784-1789,共6页
Satisfiability modulo theories (SMT) play a key role in verification applications. A crucial SMT problem is to combine separate theory solvers for the union of theories. In previous work, the simplex method is used to... Satisfiability modulo theories (SMT) play a key role in verification applications. A crucial SMT problem is to combine separate theory solvers for the union of theories. In previous work, the simplex method is used to determine the solvability of constraint systems and the equalities implied by constraint systems are detected by a multitude of applications of the dual simplex method. We present an effective simplex tableau-based method to identify all implicit equalities such that the simplex method is harnessed to an irreducible minimum. Experimental results show that the method is feasible and effective. 展开更多
关键词 线性算法 检测 对偶单纯形法 表面贴装 单纯形表 SMT 模理论 COM
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈