BioinformaticsLecture notes in computer sciencePeer-reviewed
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.
DOI 10.1007/978-3-031-90252-9_11