Naoyuki Tamura

A SAT-based Method for Counting All Singleton Attractors in Boolean Networks

Boolean networks (BNs) are widely used to model biological regulatory networks. Attractors here hold significant meaning as they represent long-term behaviors such as homeostasis and the results of cell differentiation. As such, computing attractors is of critical importance to guarantee the validit