TY - RPRT TI - Computing properties of thermodynamic binding networks: An integer programming approach AU - David Haley AU - David Doty PY - 2021 UR - https://arxiv.org/abs/2011.10677 ID - 2011.10677 ER -