Computing properties of thermodynamic binding networks: An integer programming approach

David Haley, David Doty

The thermodynamic binding networks (TBN) model is a tool for studying engineered molecular systems. The TBN model allows one to reason about their behavior through a simplified abs…