We give a simpler derandomization of the best known $k$-SAT algorithm PPSZ [FOCS'97, JACM'05] for $k$-SAT with \emph{sub-exponential} number of solutions. The existing derandomization uses a complicated construction of small sample space, while we only use \emph{hashing}. Our algorithm and theorem also have a nice byproduct: It outperforms the current fastest deterministic $k$-SAT algorithm when the formula has \emph{moderately exponential} number of solutions.

中文翻译：

---

$k$-SAT 的 PPSZ 更简单的部分去随机化

我们为具有 \emph{sub-exponential} 解决方案的 $k$-SAT 提供了最知名的 $k$-SAT 算法 PPSZ [FOCS'97, JACM'05] 的更简单的去随机化。现有的去随机化使用小样本空间的复杂结构，而我们只使用 \emph{hashing}。我们的算法和定理还有一个很好的副产品：当公式具有 \emph{中等指数} 数量的解决方案时，它优于当前最快的确定性 $k$-SAT 算法。