Computing properties of stable configurations of thermodynamic binding networks. - Keenan Breik; Lakshmi Prakash; Chris Thachuk; Marijn Heule; David Soloveichik (CoRR, 2017)