Computational Problems in Perfect Phylogeny Haplotyping: Xor-Genotypes and Tag SNPs.
Tamar BarzuzaJacques S. BeckmannRon ShamirItsik Pe'erPublished in: CPM (2004)
Keyphrases
- computational problems
- perfect phylogeny
- missing data
- integer linear programming
- constraint satisfaction problems
- reasoning tasks
- combinatorial problems
- exact algorithms
- branch and bound algorithm
- description logics
- metaheuristic
- constraint satisfaction
- constraint programming
- global constraints
- automated reasoning
- argumentation frameworks