电脑体验，效果更佳

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

研究人员

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

相关术语

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

标签云