Arthur Choi Noah Zaitlen Buhm Han Knot Pipatsrisawat Adnan Darwiche Eleazar Eskin Efficient Genome Wide Tagging by Reduction to SAT. 135-147 2008 WABI http://dx.doi.org/10.1007/978-3-540-87361-7_12 conf/wabi/2008 db/conf/wabi/wabi2008.html#ChoiZHPDE08