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]
@article{DubrovaT11, title = {A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks}, author = {Elena Dubrova and Maxim Teslenko}, year = {2011}, doi = {10.1109/TCBB.2010.20}, url = {http://dx.doi.org/10.1109/TCBB.2010.20}, tags = {rule-based}, researchr = {https://researchr.org/publication/DubrovaT11}, cites = {0}, citedby = {0}, journal = {IEEE/ACM Trans. Comput. Biology Bioinform.}, volume = {8}, number = {5}, pages = {1393-1399}, }