Efficient haplotype inference with combined CP and or techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5015 LNCS, Issue , 2008, Pages 308-312

  Graça, Ana ^a   Marques Silva, João ^b   Lynce, Inês ^a   Oliveira, Arlindo L ^a  

^a INESC ID   (Portugal)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINED OPTIMIZATION; PROBLEM SOLVING; SCHEDULING ALGORITHMS;

BIOLOGICAL APPLICATIONS; HAPLOTYPE INFERENCE BY PURE PARSIMONY (HIPP); PRUNING TECHNIQUES;

INFERENCE ENGINES;

EID: 44649089085     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68155-7_28     Document Type: Conference Paper

References (8)

1. Brown, D., Harrower, I.: Integer programming approaches to haplotype inference by pure parsimony. IEEE/ACM Transactions on Computational Biology and Bioinformatics 3(2), 141-154 (2006)
2. Eén, N., Sörensson, N.: Translating pseudo-Boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation 2, 1-26 (2006)
3. Graça, A., Marques-Silva, J., Lynce, I., Oliveira, A.: Efficient haplotype inference with pseudo-Boolean optimization. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol. 4545, pp. 125-139. Springer, Heidelberg (2007)
4. Gusfield, D.: Haplotype inference by pure parsimony. In: Baeza-Yates, R., Chávez, E., Crochemore, M. (eds.) CPM 2003. LNCS, vol. 2676, pp. 144-155. Springer, Heidelberg (2003)
5. Lancia, G., Pinotti, C., Rizzi, R.: Haplotyping populations by pure parsimony: complexity of exact and approximation algorithms. INFORMS Journal on Computing 16, 348-359 (2004)
6. Lynce, I., Marques-Silva. J.: Efficient, haplotype inference with Boolean satisfiability. In: National Conference on Artificial Intelligence (AAAI) (2006)
7. Lynce, I., Marques-Silva, J., Prestwich, S.: Boosting haplotype inference with local search. Constraints 13(1) (2008)
8. Wang, L., Xu, Y.: Haplotype inference by maximum parsimony. Bioinformatics 19(14), 1773-1780 (2003)