An Exact and Fast SAT Formulation for the DCJ Distance
Aaryan M. Sarnaik, Ke Chen, Austin Diaz, Mingfu Shao
This paper introduces a SAT formulation for computing the DCJ distance between genomes with duplicates, showing it outperforms ILP in speed and scalability.
Lecture notes in computer science · Jan 1, 2025Peer-reviewedBioinformatics