Implied Equalities; Consequence Finding; Satisfiability Modulo Theories; Decision Procedures; Congruence Closure; Software Verification;
机译:基于SMT的测试用例生成的数学函数的抽象和完善
机译:将基于SMT的验证应用于嵌入式系统中的硬件/软件分区
机译:没有拓扑状况意味着多项式和理性船体的平等
机译:通过基于SMT的分区细化计算所有隐含的平等
机译:计算教育平等:家庭环境在鼓励数字平等中的作用。
机译:用pH区精细离心分配色谱法和乙酰胆碱酯酶抑制活性分离来自Rhodoliim Speciosum(Herb.)Ravenna的三种醇型生物碱
机译:结构化自适应网格细分的分区中心模型分割权衡优化:第一部分
机译:随机优势意味着平等(Choquet-Expected Utility = anticipated Utility)