Safe Paths and Sequences for Scalable ILPs in RNA Transcript Assembly Problems. - Francisco Sena; Alexandru I. Tomescu (CoRR, 2024)