IEEE - Institute of Electrical and Electronics Engineers, Inc. - A DNA-Based Algorithm for the Solution of One-in-Three 3-SAT Problem

2009 WASE International Conference on Information Engineering (ICIE)

Author(s): Nung-Yue Shi ; Chih-Ping Chu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2009
Conference Location: Taiyuan, Shanxi, China, China
Conference Date: 10 July 2009
Volume: 1
Page(s): 620 - 625
ISBN (Paper): 978-0-7695-3679-8
DOI: 10.1109/ICIE.2009.108
Regular:

Abstract-Satisfiability problem is given a Boolean formula, and decide if a satisfying truth assignment exists.K-SAT means that each clause has exactly k literals. One-In-Three (1IN3) 3-SAT... View More

Advertisement