Population-induced phase transitions and the verification of chemical reaction networks.
James I. LathropJack H. LutzRobyn R. LutzHugh D. PotterMatthew R. RileyPublished in: Nat. Comput. (2024)
Keyphrases
- phase transition
- chemical reaction
- average degree
- constraint satisfaction
- random constraint satisfaction problems
- satisfiability problem
- np complete
- randomly generated
- random graphs
- model checking
- hard problems
- network structure
- social networks
- chemical reactions
- deep structure
- sat problem
- network size
- temporal logic
- propositional logic
- np complete problems
- random instances
- genetic programming
- simulated annealing
- evolutionary algorithm