Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks.
James I. LathropJack H. LutzRobyn R. LutzHugh D. PotterMatthew R. RileyPublished in: DNA (2020)
Keyphrases
- phase transition
- chemical reaction
- average degree
- constraint satisfaction
- random constraint satisfaction problems
- satisfiability problem
- combinatorial problems
- randomly generated
- model checking
- hard problems
- random graphs
- deep structure
- random instances
- graph coloring
- stochastic local search
- complex networks
- social networks
- constraint programming
- np complete problems
- sat problem
- chemical reactions
- upper bound