电脑体验，效果更佳

极小不可满足子式图谱-机械领域：

研究人员

李思昆 沈胜宇 张建民

相关术语

宽度优先搜索 DPLL（T） 可满足性模理论 搜索树

标签云