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