IEEE - Institute of Electrical and Electronics Engineers, Inc. - A DNA-Based Algorithm for the Solution of Not-All-Equal 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: 2
Page(s): 94 - 99
ISBN (Paper): 978-0-7695-3679-8
DOI: 10.1109/ICIE.2009.57
Regular:

AbstractSatisfiability problem is given a Boolean formula, and decide if a satisfying truth assignment exists. ( ) ( ) … ( ) ( ) is an example of Boolean formula. k-SAT means that... View More

Advertisement