TY  - RPRT
TI  - A SAT-Based Algorithm for Computing Attractors in Synchronous Boolean Networks
AU  - Elena Dubrova
AU  - Maxim Teslenko
PY  - 2009
UR  - https://arxiv.org/abs/0901.4448
ID  - 0901.4448
ER  -