电脑体验，效果更佳

SAT问题图谱-自然科学领域：

研究人员

许道云 张炜 廉德亮 徐云 余丰人 孟磊 周兰江 朱明程

相关术语

难SAT实例 数学期望 并行处理器 NP完全问题 随机算法 合取范式 FPGA 不满足解数

标签云