Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Elena Dubrova, Maxim Teslenko. A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks. IEEE/ACM Trans. Comput. Biology Bioinform., 8(5):1393-1399, 2011. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model CheckingElena Dubrova, Maxim Teslenko, Liu Ming. ismvl 2010: 144-149 [doi] Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-based Bounded Model CheckingElena Dubrova, Ming Liu, Maxim Teslenko. mvl, 19(1-3):109-131, 2012. [doi]
The following publications are possibly variants of this publication: