Hard instance generation for SAT

Satoshi Horie, Osamu Watanabe

We propose an algorithm of generating hard instances for the Satisfying Assignment Search Problem (in short, SAT). The algorithm transforms instances of the integer factorization p…