Hard satisfiable 3-SAT instances via autocorrelation

Srinivasan Arunachalam, Ilias Kotsireas. Hard satisfiable 3-SAT instances via autocorrelation. JSAT, 10:11-22, 2016. [doi]

Abstract

Abstract is missing.