Polarised random k-SAT

Joel Larsson Danielsson, Klas Markström

In this paper we study a variation of the random $k$-SAT problem, called polarized random $k$-SAT. In this model there is a polarization parameter $p$, and in half of the clauses e…