Efficient Genome Wide Tagging by Reduction to SAT.

Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin

Browse the full WABI paper archive.