In this paper we introduce a new family of hard satisfiable 3-SAT formulas, based on a model from statistical physics which is known to have “glassy” behavior.

Aug 9, 2004 · We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics.

We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics.

In this paper we introduce a new family of hard satisfiable 3-SAT formulas, based on a model from statistical physics which is known to have “glassy” behavior.

A highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics has provably “glassy” ...

We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics.

We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics.

We introduce a highly structured family of hard satisfiable 3-SAT formulas corresponding to an ordered spin-glass model from statistical physics.

Haixia Jia, Cristopher Moore, Bart Selman: From Spin Glasses to Hard Satisfiable Formulas. SAT 2004. manage site settings. To protect your privacy, ...

The boolean satisfiability problem can be tackled with spin glass theory; the cavity method can be applied to it. Boolean satisfiability exhibits a phase ...