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]

Abstract

Abstract is missing.