@misc{indiciaec58b14fd8de0, title = {Computing properties of thermodynamic binding networks: An integer programming approach}, author = {David Haley and David Doty}, year = {2021}, url = {https://arxiv.org/abs/2011.10677}, note = {Source identifier: 2011.10677} }