A SAT-based algorithm for finding attractors in synchronous Boolean networks. (Q50999097)
Jump to navigation
Jump to search
scientific article published in September 2011
Language | Label | Description | Also known as |
---|---|---|---|
English | A SAT-based algorithm for finding attractors in synchronous Boolean networks. |
scientific article published in September 2011 |
Statements
A SAT-based algorithm for finding attractors in synchronous Boolean networks. (English)
1 reference
Elena Dubrova
1 reference
Maxim Teslenko
1 reference
1 September 2011
1 reference
8
1 reference
5
1 reference
1393-1399
1 reference