迈克·纳哈斯的Coq教程
rocq cs translation tutorial

Mike Nahas's Coq Tutorial 中文翻译

pub:7/29/2025 new:10/4/2021 upd:7/20/2022
DPLL算法
cs algorithm logic tutorial

求解k-SAT问题的 DPLL 算法详解（C++实现）

pub:7/29/2025 new:3/8/2022