2+p-SAT: Relation of typical-case complexity to the nature of the phase transition.

Rémi Monasson Riccardo Zecchina Scott Kirkpatrick Bart Selman Lidror Troyansky 2+p-SAT: Relation of typical-case complexity to the nature of the phase transition. 414-435 1999 15 Random Struct. Algorithms 3-4 db/journals/rsa/rsa15.html#MonassonZKST99 http://onlinelibrary.wiley.com/doi/10.1002/(SICI)1098-2418(199910/12)15:3/4<414::AID-RSA10>3.0.CO;2-G/abstract