@inproceedings{CZHPDE08,
author = {Arthur Choi and Noah Zaitlen and Buhm Hahn and Knot Pipatsrisawat and Adnan Darwiche and Eleazar Eskin},
title = {Efficient Genome Wide Tagging by Reduction to {SAT}},
booktitle = {Proceedings of the 8th Workshop on Algorithms in Bioinformatics (WABI)},
year = {2008},
pages = {135--147}
}