电脑体验，效果更佳

可满足性模理论图谱-机械领域：

研究人员

吴为民 张建民 李思昆 沈胜宇 邓澍军 边计年 赵燕妮

相关术语

宽度优先搜索 寄存器传输级 极小不可满足子式 可满足性 约束分解 形式验证 搜索树 DPLL（T）

标签云