电脑体验，效果更佳

等价性验证图谱-自然科学领域：

研究人员

郑飞君 颜萍 刘歆 严晓浪 翁延玲 杨军 葛海通

相关术语

半加树 混合SAT求解器 合取范式 算术电路 逻辑综合 布尔可满足性 设计验证 逻辑电路

标签云