Concepedia

Determining computational complexity from characteristic ‘phase transitions’

Rémi Monasson, Riccardo Zecchina, Scott Kirkpatrick, Bart Selman, Lidror Troyansky

Nature · 1999 · 803 citations · 27 references

DOI

Concepts

References

27

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

, , +17

Formation of Glasses from Liquids and Biopolymers

C. A. Angell · Science · 1995 · 4.7K citations

, , +14

<i>Spin Glass Theory and Beyond</i>

Marc Mézard, Giorgio Parisi, M. A. Virasoro et al. · Physics Today · 1988 · 2.8K citations

, , +9

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

, , +15

Scaling concepts for the dynamics of viscous liquids near an ideal glassy state

T. R. Kirkpatrick, D. Thirumalai, Peter G. Wolynes · Physical review. A, General physics · 1989 · 1K citations

, , +13