10.1101/2024.11.05.622153
An Exact and Fast SAT Formulation for the DCJ Distance
2024-11-08