• 八数码问题求解--实验报...
• 浅谈3-SAT问题讲解
• 基于OpenMP的并行遗传算...
• 图搜索问题求解--实验报...
• 实验六：遗传算法求解TS...
• SAT阅读题干解析
• SAT单篇短阅读解析
• SAT数学考点讲解之如何求...
• 浅谈3-SAT问题讲解
• 实例解析SAT阅读逻辑题解...