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.
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.
Supported in partVerified against the publisher's abstract
The abstract establishes the sharp satisfiability threshold in random k-SAT and finite-size scaling near it; it says nothing about ad-hoc wireless routing or cascade failures in power grids or inter-bank networks.
“Similar sharp threshold behavior is observed for higher values of k . Finite-size scaling, a method from statistical physics, can be used to characterize size-dependent effects near the threshold.”
- 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.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:21140b62a099 · see in the full table