Simpler Partial Derandomization of PPSZ for $k$-SAT

S. Cliff Liu

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 derandomizat…