Solution to Satisfiability Problem Based on Molecular Beacon Microfluidic Chip Computing Model.
J. Yang, Z. Yin, Z. Tang, J. Cui, and C. Liu. BIC-TA (1), volume 1565 of Communications in Computer and Information Science, page 415-425. Springer, (2021)