(Q50999097)
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