退出
我的积分:
中文文献批量获取
外文文献批量获取
曹璟; 徐宝文;
东南大学计算机科学与工程学院南京,210096;
江苏软件质量研究所南京,210096;
命题公式可满足性验证; 类型分析; 程序分析; 面向对象程序;
机译:面向对象程序的精确静态类型分析
机译:使用类型分析和优化面向对象的程序
机译:面向对象程序类型分析的复杂性
机译:用于子句学习SAT求解器的高效算法
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:Cmodels-2:基于SAT的答案集求解器,已增强为非严格程序
机译:基于saT的程序谓词抽象
机译:基于解释和真理表分析的SAT求解器
机译:结合应用感知分支的基于DPLL的SAT求解器
机译:在基于分辨率的SAT求解器中进行决策的方法和设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。