Zhenqin Yang, Zhixiang Yin, Jianzhong Cui, Jing Yang: DNA Origami Based Computing Model for the Satisfiability Problem. BIC-TA (1) 2018: 151-160