This note introduce a novel method for improving CDCL-based SAT solvers by relaxing backtrack and integrating local search techniques, and we use this method to improve four state of the art CDCL solvers.
译文：本文介绍了一种通过放松回溯和集成局部搜索技术来提高基于CDCL的SAT求解器性能的新方法，并对现有的四种CDCL求解器进行了改进。
主要技术：
1. relaxing the backtracking 松弛回溯
2. CCAnr solver——一种随机局部搜索求解器
S. Cai, C. Luo, and K. Su, “CCAnr: A configuration checking based local search solver for non-random satisfiability,” in Proceedings of18th
International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, Austin, TX, USA, September 24-27, 2015, 2015, pp.1–8.
3. 两者结合改进2018年的四个CDCL求解器
1.关于松弛回溯
SLS与CDCL结合——蔡少杰老师2019SAT竞赛提交版本学习笔记
原文：https://www.cnblogs.com/yuweng1689/p/12624858.html