SAT in Bioinformatics: Making the Case with Haplotype Inference
Keyword(s):