摘要： 
待更新 完整源码将在结课后传到HUSTCS2024-SAT-DPLL-XSudoku 1 什么是SAT问题？ 1.1 SAT问题简介 SAT问题即命题逻辑公式的可满足性问题（satisfiability problem），是计算机科学与人工智能基本问题，是一个典型的NP完全问题，可广泛应用于许多实际 阅读全文
待更新 完整源码将在结课后传到HUSTCS2024-SAT-DPLL-XSudoku 1 什么是SAT问题？ 1.1 SAT问题简介 SAT问题即命题逻辑公式的可满足性问题（satisfiability problem），是计算机科学与人工智能基本问题，是一个典型的NP完全问题，可广泛应用于许多实际 阅读全文