Haplotype inference with boolean satisfiability

International Journal on Artificial Intelligence Tools

Volumn 17, Issue 2, 2008, Pages 355-387

  Lynce, Inês ^a   Marques Silva, João ^b  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Bioinformatics; Boolean satisfiability; Haplotype inference

Indexed keywords

BIOINFORMATICS; COMPUTATIONAL COMPLEXITY; DNA; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MUTAGENESIS; STATISTICAL METHODS;

BOOLEAN SATISFIABILITY; HAPLOTYPE INFERENCE; HUMAN POPULATION;

BOOLEAN FUNCTIONS;

EID: 44349166261     PISSN: 02182130     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218213008003935     Document Type: Article

References (34)

1. D. Brown and I. Harrower. A new integer programming formulation for the pure parsimony problem in haplotype analysis. In Workshop on Algorithms in Bioinformatics (WABI'04), 2004.
2. D. Brown and I. Harrower. Integer programming approaches to haplotype inference by pure parsimony. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 3(2):141-154, April-June 2006.
3. D. Brown and I. Harrower. Toward and algebraic understanding of haplotype inference by pure parsimony. In Computational Systems Bioinformatics Conference, August 2006.
4. M. J. Daly, J. D. Rioux, S. F. Schaffner, T. J. Hudson, and E. S. Lander. High-resolution haplotype structure in the human genome. Nature Genetics, 29:229-232, 2001.
5. Z. Ding, V. Filkov, and D. Gusfield. A linear-time algorithm for the perfect phylogeny haplotyping (PPH) problem. In International Conference on Research in Computational Molecular Biology (RECOMB), pages 585-600, May 2005.
6. 2-adrenergic receptor haplotypes alter receptor expression and predict in vivo responsiveness. In National Academy of Sciences, volume 97, pages 10483-10488, September 2000.
7. N. Eén and N. Sörensson. An extensible SAT-solver. In Inter-national Conference on Theory and Applications of Satisfiability Testing (SAT), pages 502-518, 2003.
8. P. Flener, A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, and T. Walsh. Breaking row and column symmetries in matrix models. In International Conference on Principles and Practice of Constraint Programming (CP), 2002.
9. A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. Global constraints for lexicographic orderings. In International Conference on Principles and Practice of Constraint Programming (CP), 2002.
10. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, 1979.
11. I. Gent. Arc consistency in SAT. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 121-125, July 2002.
12. D. Gusfield. Haplotype inference by pure parsimony. In 14th Annual Symposium on Combinatorial Pattern Matching (CPM'03), pages 144-155, 2003.
13. D. Gusfield and S. Orzach. Handbook on Computational Molecular Biology, volume 9 of Chapman and Hall/CRC Computer and Information Science Series, chapter Haplotype Inference. CRC Press, December 2005.
14. B. Halldórsson, V. Bafna, N. Edwards, R. Lippert, S. Yooseph, and S. Istrail. A survey of computational methods for determining haplotypes. In Proceedings of the First BECOME Satellite on Computational Methods for SNPs and Haplotype Inference, volume 2983 of LNBI, pages 26-47, 2004.
15. E. Halperin and R. Karp. Perfect phylogeny and haplotype assignment. In Annual International Conference on Computational Molecular Biology, pages 10-19, March 2003.
16. Y.-T. Huang, K.-M. Chao, and T. Chen. An approximation algorithm for haplotype inference by maximum parsimony. Journal of Computational Biology, 12(10):1261-1274, December 2005.
17. R. R. Hudson. Generating samples under a wright-fisher neutral model of genetic variation. Biomformatics, 18(2):337-338, February 2002.
18. K. Kalpakis and P. Namjoshi. Haplotype phasing using semidefinite programming. In International Symposium on Bioinformatic and Bioengineering, pages 145-152, October 2005.
19. B. Kerem, J. Rommens, J. Buchanan, D. Markiewicz, T. Cox, A. Chakravarti, M. Buchwald, and L. C. Tsui. Identification of the cystic fibrosis gene: Genetic analysis. Science, 245:1073-1080, 1989.
20. D. L. Kroetz, C. Pauli-Magnus, L. M. Hodges, C. C. Huang, M. Kawamoto, S. J. Johns, D. Stryke, T. E. Ferrin, J. DeYoung, T. Taylor, E. J. Carlson, I. Herskowitz, K. M. Giacomini, and A. G. Clark. Sequence diversity and haplotype structure in the human abcd1 (mdr1, multidrug resistance transporter). Pharmacogenetics, 13:481-494, 2003.
21. G. Lancia, C. M. Pinotti, and R. Rizzi. Haplotyping populations by pure parsimony: complexity of exact and approximation algorithms. INFORMS Journal on Computing, 16(4):348-359, 2004.
22. C. M. Li and Anbulagan. Look-ahead versus look-back for satisfiability problems. In International Conference on Principles and Practice of Constraint Programming (CP), pages 341-355, October 1997.
23. I. Lynce and J. Marques-Silva. Efficient haplotype inference with Booiean satisfiability. In National Conference on Artificial Intelligence (AAAI), July 2006.
24. I. Lynce and J. Marques-Silva. SAT in bioinformatics: Making the case with haplotype inference. In International Conference on Theory and Applications of Satisfiability Testing (SAT), August 2006.
25. J. Marchini, D. Cutler, N. Patterson, M. Stephens, E. Eskin, E. Halperin, S. Lin, Z. Qin, H. Munro, G. Abecassis, P. Donnelly, and International HapMap Consortium. A comparison of phasing algorithms for trios and unrelated individuals. American Journal of Human Genetics, 78:437-450, 2006.
26. T. Niu, Z. Qin. X. Xu, and J. Liu. Bayesian haplotype inference for multiple linked single-nucleotide polymorphisms. American Journal of Human Genetics, 70:157-169, 2002.
27. M. J. Rieder, S. T. Taylor, A. G. Clark, and D. A. Nickerson. Sequence variation in the human angiotensin converting enzyme. Nature Genetics, 22:481-494, 2001.
28. S. Schaffner, C. Foo, S. Gabriel, D. Reich, M. Daly, and D. Altshuler. Calibrating a. coalescent simulation of human genome sequence variation. Genome Reasearch, 15:1576-1583, 2005.
29. C. Sinz. Towards an optimal CNF encoding of boolean cardinality constraints. In Proc. of the 11th Intl. Conf. on Principles and Practice of Constraint Programming (CP 2005), pages 827-831, Sitges, Spain, October 2005.
30. M. Stephens, N. Smith, and P. Donelly. A new statistical method for haplotype reconstruction. American Journal of Human Genetics, 68:978-989. 2001.
31. The International HapMap Consortium. The international hapmap project. Nature, 426:789-796, 2003.
32. The International HapMap Consortium. A haplotype map of the human genome. Nature, 437:1299-1320, 27 October 2005.
33. T. Walsh. SAT v CSP. In International Conference on Principles and Practice of Constraint Programming (CP), pages 441-456, September 2000.
34. L. Wang and Y. Xu. Haplotype inference by maximum parsimony. Bioinformatics, 19(14):1773-1780, 2003.