03 2022 档案

DPLL 算法（求解k-SAT问题）详解（C++实现）
摘要：DPLL 算法（求解k-SAT问题）详解（C++实现）本文详细介绍了一种经典的k-SAT问题求解算法——DPLL算法，并给出了代码实现样例和使用说明。 阅读全文
posted @ 2022-03-08 20:05 chesium 阅读(7460) 评论(1) 推荐(1) 编辑