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

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Fingerprint

Dive into the research topics of 'An improved satisfiability algorithm for nested canalyzing functions and its application to determining a singleton attractor of a boolean network'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science