Abstract: This article presents attractor-transition control of complex biological networks represented by Boolean networks (BNs) wherein the BN is steered from a prescribed initial attractor toward a ...

The entries in the previous table summarize the fact that Boolean satisfiability is a weak method that admits efficient implementations. The representation is relatively inefficient, and none of our ...