Critical behavior in the computational cost of satisfiability testing
- 31 March 1996
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 81 (1-2) , 273-295
- https://doi.org/10.1016/0004-3702(95)00056-9
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- The hardest constraint problems: A double phase transitionArtificial Intelligence, 1994
- Critical Behavior in the Satisfiability of Random Boolean ExpressionsScience, 1994
- Ten Lectures on the Probabilistic MethodPublished by Society for Industrial & Applied Mathematics (SIAM) ,1994
- The birth of the giant componentRandom Structures & Algorithms, 1993
- Cooperative Solution of Constraint Satisfaction ProblemsScience, 1991
- Scaling concepts for the dynamics of viscous liquids near an ideal glassy statePhysical Review A, 1989
- Spin Glass Theory and BeyondPhysics Today, 1988
- Statistical mechanics and disordered systemsCommunications of the ACM, 1985
- Reversibility and Irreversibility in Spin-Glasses: The Free-Energy SurfacePhysical Review Letters, 1982
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960