SATlotyper Haplotype inference from unphased SNP data in heterozygous polyploids based on SAT
Download

SATlotyper Ranking & Summary

SATlotyper Tags

inference engine Fuzzy inference system mine SNP site analyze SNP site haplotype estimation estimate haplotype common haplotype draw haplotype paint haplotype haplotype SNP markers SNP tag SNP genotype variational inference inference haplotype tree haplotype inference Boolean operator heterozygous polyploid heterozygous Inference Tool SNP search download SNP filter SNP analyze SNP microarrays phylogeny inference Describe haplotype sequence to haplotype haplotype analysis haplotype block analysis haplotype association test large phylogeny inference SNP identification haplotype association haplotype data Y-chromosomal haplotype Affymetrix SNP Arrays

SATlotyper Description

SATlotyper is a software tool designed for inferring haplotypes from polyploid and polyallelic unphased SNP data. SATlotyper uses Boolean operators and variables to formulate Haplotype Inference by Pure Parsimony (HIPP) for the Boolean Satisfiability Problem (SAT). For finding the most parsimonious set of explaining haplotypes, SATlotyper starts with assuming one explaining haplotype and increases the number of haplotypes until a satisfying set is found. Since SAT is NP-complete, it can not be guaranteed that a solution is found in reasonable time for a given data. However, empiric tests showed that it is possible to calculate inferences for data from real world. Furthermore, SATlotyper gives constraints for alternative explaining solutions and is able to optimize the likelihood of the result by means of a bootstrapping procedure. Give SATlotyper a try to see how useful it can actually be for you!

SATlotyper Related Software