SIMARD: A simulated annealing based RNA design algorithm with quality pre-selection strategies | IEEE Conference Publication | IEEE Xplore