Reference: Egen D and Lun DS (2012) Truncated branch and bound achieves efficient constraint-based genetic design. Bioinformatics 28(12):1619-23