A SAT-based algorithm for finding attractors in synchronous Boolean n… · LibMeta · SciLib
IMT journal Cited workPublicationDocument

A SAT-based algorithm for finding attractors in synchronous Boolean networks

http://libmeta.ru/resource/imt/cited_228

Данные

sourceNoteIEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) Volume 8. Issue 5. September 2011. Pp. 1393-1399. doi: 10.1109/TCBB.2010.20.
year2011
languageen