SparseDesign: Scaling Exact Coding-Sequence Design
This work proves equivalence to the dense recurrence in real arithmetic, under an explicit scalar branch-interface assumption, and applies candidate sparsification to the multiloop recurrence of a Turner~2004 dangle-0 solver over a weighted codon automaton.
Hao-Ying Lin, Jing Yu
· 0 citations