电脑体验，效果更佳

MAX-k-SAT问题图谱-计算机领域：

研究人员

许道云 秦永彬

相关术语

PTAS等价 极小不可满足公式 归约

标签云