Quantum algorithms for bio-molecular solutions to the satisfiability problem on a quantum computer | IEEE Conference Publication | IEEE Xplore