Jix是varisat，一个用rust写的SAT求解器的作者，同时也是symbiyosys项目的核心贡献者。写了一系列关于实现一个CDCL SAT求解器的博客文章，值得一读
https://jix.one/varisat/

此外是Mate Soos，知名密码学求解器CryptoMiniSat和强悍的model counting求解器Ganak作者，也是一个高产的博客作家，写了很多很有洞见的SAT求解器博客文章，值得一读
http://t.cn/AXaPNz5Q