An Exact and Fast SAT Formulation for the DCJ Distance. - Aaryan M. Sarnaik; Ke Chen 011; Austin Diaz; Mingfu Shao (RECOMB, 2025)