1. The accompanying solver is open source and is publicly available (https://bitbucket.org/ksbtex/tbnsolverm/). The high-level interface to the solver is via a Mathematica package. Please see the solver documentation for more information and examples.
2. Predicting learnt clauses quality in modern SAT solvers;Audemard,2009
3. An information-bearing seed for nucleating algorithmic self-assembly;Barish;Proc. Natl. Acad. Sci. USA,2009
4. Programming substrate-independent kinetic barriers with thermodynamic binding networks;Breik,2018
5. Thermodynamically favorable computation via tile self-assembly;Chalk,2018