@misc{indiciae74b3fe2fd8ca,
  title = {A SAT-Based Algorithm for Computing Attractors in Synchronous Boolean Networks},
  author = {Elena Dubrova and Maxim Teslenko},
  year = {2009},
  url = {https://arxiv.org/abs/0901.4448},
  note = {Source identifier: 0901.4448}
}