退出
我的积分:
中文文献批量获取
外文文献批量获取
赵燕妮; 边计年; 邓澍军;
清华大学计算机科学与技术系,北京,100084;
形式验证; 约束分解; 寄存器传输级; 可满足性模理论;
机译:基于SMT的约束答案集求解器EZSMT(系统描述)
机译:raSAT:用于多项式约束的SMT求解器
机译:扩展SMT求解器以支持有限域所有不同约束
机译:使用SMT求解器学习SMT(LRA)约束
机译:用于RTL验证中的SMT求解器的多线程加速度
机译:融合稀疏性和正交性的约束奇异值分解方法
机译:smT求解器中有限模型求解的约束求解
机译:为实际非线性约束理论创建快速smT求解器。
机译:利用半显式二次规划求解器求解具有约束约束的二次规划问题的系统和方法
机译:利用半显式二次规划求解器求解带界约束的二次规划问题的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。