S Caracciolo, A Sportiello - Journal of Physics A: Mathematical …, 2002 - iopscience.iop.org
We introduce a new model for the generation of random satisfiability problems. It is an
extension of the hyper-SAT model of Ricci-Tersenghi, Weigt and Zecchina, which is a variant …