Efficient 3-SAT algorithms in the tile assembly model
Keyword(s):
2010 ◽
Vol 7
(5)
◽
pp. 848-855
◽
2013 ◽
Vol 128
◽
pp. 167-189
◽