Making the SAT decision Based on a DNA Computation | IEEE Conference Publication | IEEE Xplore