On the Behavior of Tile Assembly System at High Temperatures


Behaviors of Winfree’s tile assembly systems (TASs) at high temperatures are investigated in combination with integer programming of a specific form called threshold programming. First, we propose a way to build bridges from the Boolean satisfiability problem (Sat) to threshold programming, and further to TAS’s behavior, in order to prove the NPhardness of… (More)
DOI: 10.1007/978-3-642-30870-3_55
View Slides

2 Figures and Tables


  • Presentations referencing similar topics