Computational Methods for SNPs and Haplotype Inference