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