An Improved Satisfiability Algorithm for Nested Canalyzing Functions and its Application to Determining a Singleton Attractor of a Boolean Network.
Avraham A. MelkmanTatsuya AkutsuPublished in: J. Comput. Biol. (2013)
Keyphrases
- experimental evaluation
- search space
- high accuracy
- times faster
- worst case
- computational complexity
- cost function
- learning algorithm
- optimization algorithm
- probabilistic model
- dynamic programming
- computational cost
- optimal solution
- detection algorithm
- np hard
- k means
- simulated annealing
- dynamical systems
- particle swarm optimization
- randomly generated
- spanning tree
- cellular automata
- linear programming
- preprocessing
- objective function
- bayesian networks