533 citations · 986 across the 32 of their papers we have counts for
1 paper · 1 filter
Haixia Jia, Cristopher Moore, Bart Selman
We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics. This model has provably "glassy" b…