网上关于SAT简单入门的介绍
1.
基于QT实现的数独游戏DPLL的SAT求解器设计
基于sat的二进制数独游戏求解程序课程设计
https://download.csdn.net
2.
SAT and SMT
https://blog.csdn.net/qq_43683133
3.
SMT 求解器 Z3 C++ 学习笔记
https://blog.csdn.net/gghkkfg_/article/details/89493966
标签：入门,求解,csdn,https,net,网上,SAT From： https://www.cnblogs.com/yuweng1689/p/16738251.html