Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space

Boolean models are increasingly used to study biological signaling networks. In a Boolean network, nodes represent biological entities such as genes, proteins or protein complexes, and edges indicate activating or inhibiting influences of one node towards another.