An Exact and Fast SAT Formulation for the DCJ Distance.

Aaryan M. Sarnaik, Ke Chen, Austin Diaz, Mingfu Shao

Browse the full RECOMB paper archive.