Truth-Content and Phase Transitions of Random Boolean Networks with Generic Logics.
Dominik M. WittmannSabrina HockFabian J. TheisPublished in: SIAM J. Appl. Dyn. Syst. (2013)
Keyphrases
- phase transition
- random constraint satisfaction problems
- boolean networks
- random instances
- randomly generated
- satisfiability problem
- constraint satisfaction
- logic programs
- random sat
- hard problems
- biological systems
- gene regulatory networks
- sat problem
- np complete
- search algorithm
- network model
- inference rules
- genetic regulatory networks