A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks

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]

Authors

Elena Dubrova

This author has not been identified. Look up 'Elena Dubrova' in Google

Maxim Teslenko

This author has not been identified. Look up 'Maxim Teslenko' in Google