EGNAS: an exhaustive DNA sequence design algorithm. - Alfred Kick; Martin Bönsch; Michael Mertig (BMC Bioinform., 2012)