Sanguthevar Rajasekaran "Exact Algorithms for Planted Motif Challenge Problems"