TY  - RPRT
TI  - An Exact and Fast SAT Formulation for the DCJ Distance
AU  - Sarnaik, A. M.
AU  - Chen, K.
AU  - Diaz, A.
AU  - Shao, M.
PY  - 2024
DO  - 10.1101/2024.11.05.622153
UR  - https://www.biorxiv.org/content/10.1101/2024.11.05.622153v1
ID  - 10.1101/2024.11.05.622153
ER  -