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

BMC Genomics

Volumn 9, Issue , 2008, Pages

  Neigenfind, Jost ^a,b   Gyetvai, Gabor ^c   Basekow, Rico ^a,b   Diehl, Svenja ^b   Achenbach, Ute ^c   Gebhardt, Christiane ^c   Selbig, Joachim ^d   Kersten, Birgit ^a,b  

^a MAX PLANCK INSTITUTE OF MOLECULAR PLANT PHYSIOLOGY   (Germany)

^b German Genome Resource Center RZPD   (Germany)

^c MAX PLANCK INSTITUTE FOR PLANT BREEDING RESEARCH   (Germany)

^d UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AMPLICON; ARTICLE; BIOINFORMATICS; BOOTSTRAPPING; COMPUTER PREDICTION; COMPUTER PROGRAM; COMPUTER SIMULATION; CONTROLLED STUDY; GENE SEQUENCE; GENOTYPE; HAPLOTYPE; HETEROZYGOSITY; INTERMETHOD COMPARISON; NONHUMAN; PARSIMONY ANALYSIS; PLANT GENETICS; POLYPLOIDY; POTATO; SINGLE NUCLEOTIDE POLYMORPHISM; TETRAPLOIDY; BIOLOGICAL MODEL; BIOLOGY; GENETICS; HETEROZYGOTE;

SOLANUM TUBEROSUM;

COMPUTATIONAL BIOLOGY; COMPUTER SIMULATION; HAPLOTYPES; HETEROZYGOTE; MODELS, GENETIC; POLYMORPHISM, SINGLE NUCLEOTIDE; POLYPLOIDY; SOFTWARE; SOLANUM TUBEROSUM;

EID: 52049114703     PISSN: None     EISSN: 14712164     Source Type: Journal    
DOI: 10.1186/1471-2164-9-356     Document Type: Article

References (29)

1. Ching A Caldwell KS Jung M Dolan M Smith OS Tingey S Morgante M Rafalsk AJ SNP frequency, haplotype structure and linkage disequilibrium in elite maize inbred lines BMC Genetics 2002, 3:19. 130040 12366868
2. Simko I One potato, two potato: Haplotype association mapping in autotetraploids Trends in Plant Science 2004, 9(9):441-448. 15337494
3. Salem RM Wessel J Schork NJ A comprehensive literature review of haplotyping software and methods for use with unrelated individuals Human Genomics 2005, 2:39-66. 15814067
4. Vaughan DA Balazs E Heslop-Harrison JS From crop domestication to super-domestication Annals of Botany 2007, 100(5):893-901. 17940074
5. Gusfield D Haplotype inference by Pure Parsimony Proceedings of the 14th annual Symposium on Combinatorial Pattern Matching 2003:144-155.
6. Cook SA The complexity of theorem-proving procedures Proceedings of the third annual ACM symposium on Theory of computing 1971:151-158.
7. Lynce I Marques-Silva JP Efficient haplotype inference with Boolean Satisfiability National Conference on Artificial Intelligence (AAAI) 2006.
8. Lynce I Marques-Silva JP Breaking symmetries in SAT matrix models Theory and Applications of Satisfiability Testing - SAT Volume 4501 of Lecture Notes in Computer Science Springer Berlin/Heidelberg Marques-Silva JP, Sakallah K 2007:22-27.
9. Brown DG Harrower IM A new Integer Programming formulation for the Pure Parsimony Problem in haplotype analysis WABI 2004:254-265.
10. Brown DG Harrower IM Integer Programming approaches to haplotypes inference by Pure Parsimony IEEE/ACM Trans Comput Biol Bioinform 2006, 3(2):141-154. 17048400
11. Eén N Sörensson N An extensible SAT-solver 2003. http://minisat.se/Papers.html
12. The MiniSat Page http://minisat.se/
13. Lewis M Schubert T Becker B Multithreaded SAT Solving Proceedings of the 2007 conference on Asia South Pacific design automation 2007:926-931.
14. Berre DL SAT4J, the satisfiability library for java 2004. http://www.sat4j.org/
15. A SAT-based system for haplotype inference from genotype data, using the pure parsimony criterion http://users.ecs.soton.ac.uk/jpms/soft/
16. Tseitin GS On the complexity of derivation in propositional calculus Studies in Constructive Mathematics and Mathematical Logic, Part II 1968.
17. Eén N Sörensson N Translating Pseudo-Boolean constraints into SAT Journal on Satisfiability, Boolean Modeling and Computation 2006, 2:1-25.
18. Felsenstein J Inferring Phylogenies Sunderland, Massachusetts: Sinauer Associates, Inc 2004.
19. Marques-Silva JP Lynce I Graça A Oliveira AL Efficient and tight upper bounds for haplotype inference by Pure Parsimony using delayed haplotype selection Progress in Artificial Intelligence, Volume 4874 of LectureNotes in Computer Science, Springer Berlin/Heidelberg 2007, 4874:621-632.
20. Graça A Marques-Silva JP Lynce I Oliveira AL Efficient Haplotype Inference with Pseudo-Boolean Optimization Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings, Volume 4545 of Lecture Notes in Computer Science Springer Berlin/Heidelberg Anai H, Horimoto K, Kutsia T 2007:125-139.
21. Graça A Marques-Silva JP Lynce I Oliveira AL Efficient Haplotype Inference with Combined CP and OR Techniques Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Volume 5015 of Lecture Notes in Computer Science, Springer Berlin/Heidelberg 2008:308-312.
22. Ballvora A Jöcker A Viehöver P Ishihara H Paal J Meksem K Bruggmann R Schoof H Weisshaar B Gebhardt C Comparative sequence analysis of Solanum and Arabidopsis in a hot spot for pathogen resistance on potato chromosome V reveals a patchwork of conserved and rapidly evolving genome segments BMC Genomics 2007, 8:112. 17474978
23. The Potato Maps and More Database PoMaMo http://www.gabipd.org/projects/ Pomamo/
24. Meyer S Nagel A Gebhardt C PoMaMo - a comprehensive database for potato genome data Nucleic Acids Res 2005, 33:D666-D670. 539972 15608284
25. Sattarzadeh A Achenbach U Lübeck J Strahwald J Tacke E Hofferbert HR Rothsteyn T Gebhardt C Single nucleotide polymorphism (SNP) genotyping as basis for developing a PCR-based marker highly diagnostic for potato varieties with high resistance to Globodera pallida pathotype Pa2/3 Molecular Breeding 2006, 18(4):301-312.
26. Kuang HH Wei FS Marano MR Wirtz U Wang XX Liu J Shum WP Zaborsky J Tallon LJ Rensink W Lobst S Zhang PF Tornqvist CE Tek A Bamberg J Helgeson J Fry W You F Luo MC Jiang JM Buell CR Baker B The R1 resistance gene cluster contains three groups of independently evolving, type I R1 homologues and shows substantial structural variation among haplotypes of Solanum demissum Plant Journal 2005, 44:37-51. 16167894
27. Akey J Jin L Xiong M Haplotypes vs single marker linkage disequilibrium tests: What do we gain? European Journal of Human Genetics 2001, 9:291-300. 11313774
28. The GABI Primary Database GabiPD - SATlotyper http://www.gabipd.org/ projects/satlotyper/
29. The GABI Primary Database GabiPD http://www.gabipd.org/