Efficient Haplotype Inference with Answer Set Programming.
Esra ErdemFerhan TürePublished in: AAAI (2008)
Keyphrases
- answer set programming
- haplotype inference
- logic programming
- logic programs
- entropy minimization
- answer sets
- branch and bound algorithm
- constraint logic programming
- causal theories
- answer set programs
- multi population
- stable model semantics
- update semantics
- greedy heuristic
- np hard problems
- knowledge base
- orders of magnitude
- programming language
- upper bound
- high level