电脑体验，效果更佳

布尔可满足性图谱-计算机领域：

研究人员

杨士元 邢建辉 唐玉兰 邵明 王昊 兰巨龙 张惠国 冯冬芹

相关术语

逻辑模拟 电子设计自动化 形式验证 功能验证 重定时 数据结构 RTL设计 求解方法

标签云