Critical Behavior in the Satisfiability of Random Boolean Expressions

Kirkpatrick, S., & Selman, B. (1994). Critical Behavior in the Satisfiability of Random Boolean Expressions. Science, 264(5163), 1297-1301.

Type

Journal article

Intellectual base

Primary research

Year

1994

DOI

10.1126/science.264.5163.1297

Link

https://doi.org/10.1126/science.264.5163.1297

Cited from

chemistry_materials

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Percolation
  • Computer science and infrastructure. Random-satisfiability transitions, routing connectivity in ad-hoc wireless networks, and cascade-failure thresholds in power grids and inter-bank networks.

    This sourceEstablishes the random-satisfiability phase transition with finite-size scaling — the SAT instance of a sharp threshold in a connectivity-like control parameter.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:21140b62a099 · see in the full table