李响-U2018145311

【文件属性】：

文件名称：李响-U2018145311

文件大小：1.19MB

文件格式：DOCX

更新时间：2022-08-08 22:55:53

2. 学习并掌握基于DPLL算法的SAT完备型求解算法，使用C/C++语言实现DPLL算法，并且深入研究DPLL算法的改进策略（包括选词策略、数据结构形式以及算