Efficient 3-SAT algorithms in the tile assembly model

Yuriy Brun. Efficient 3-SAT algorithms in the tile assembly model. Natural Computing, 11(2):209-229, 2012. [doi]

Abstract

Abstract is missing.