电脑体验，效果更佳

可满足概率图谱-计算机领域：

研究人员

白硕 卜东波 邓晶

相关术语

相变现象 合取范式 SAT问题 NP完全问题 约束满足问题

标签云