Zaslat SMS: Geometric combinatorics and computational molecular biology: Branching polytopes for RNA sequences