SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.

Takehide SohMorgan MagninDaniel Le BerreMutsunori BanbaraNaoyuki Tamura
Published in: BIOINFORMATICS (2023)