DNA based algorithms for solving both MAX-SAT and MAX-W-SAT problems | IEEE Conference Publication | IEEE Xplore