An Improved Satisfiability Algorithm for Nested Canalyzing Functions and its Application to Determining a Singleton Attractor of a Boolean Network

Avraham A. Melkman, Tatsuya Akutsu. An Improved Satisfiability Algorithm for Nested Canalyzing Functions and its Application to Determining a Singleton Attractor of a Boolean Network. Journal of Computational Biology, 20(12):958-969, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.