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]

Abstract

Abstract is missing.