Impatient PPSZ -- a Faster algorithm for CSP

Shibo Li, Dominik Scheder

PPSZ is the fastest known algorithm for (d,k)-CSP problems, for most values of d and k. It goes through the variables in random order and sets each variable randomly to one of the…