@misc{indiciaeaf6fd7d75369,
  title = {An Exact and Fast SAT Formulation for the DCJ Distance},
  author = {Sarnaik, A. M. and Chen, K. and Diaz, A. and Shao, M.},
  year = {2024},
  doi = {10.1101/2024.11.05.622153},
  url = {https://www.biorxiv.org/content/10.1101/2024.11.05.622153v1},
  note = {Source identifier: 10.1101/2024.11.05.622153}
}