A DNA-Based Algorithm for the Solution of Not-All-Equal 3-SAT Problem - Nung-Yue Shi; Chih-Ping Chu (ICIE 2009 : 2009 WASE International Conference on Information Engineering :10-11 July 2009, Taiyuan, Shanxi, China, 2009)
Keywords: 3-SAT problem; Cities and towns; Computer science; Data mining; DNA; DNA-based Supercomputing; Key Words: Satisfiability problem; Molecular Solution; Not-All-Equal 3-SAT problem; NP-complete problem; Performance evaluation; Testing