电脑体验，效果更佳

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

研究人员

许道云 张炜 廉德亮 徐云 余丰人 孟磊 周兰江 朱明程 张国义 丘海明 陈国良 吴学江

相关术语

难SAT实例 数学期望 并行处理器 NP完全问题 随机算法 合取范式 FPGA 不满足解数 CNF权重 回溯搜索算法 进化

标签云