电脑体验，效果更佳

可满足性问题图谱-计算机领域：

研究人员

杨晋吉 虞蕾 欧阳丹彤 柯宪明 常亮 张健 史忠植 张立明

相关术语

局部搜索 递推公式 局部搜索算法 可判定性 冲突 Tableau算法 计算复杂度 DPLL

标签云