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

Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura

Browse the full IJCAI paper archive.