Haplotype Inference with Boolean Satisfiability.
Inês LynceJoão Marques-SilvaPublished in: Int. J. Artif. Intell. Tools (2008)
Keyphrases
- boolean satisfiability
- haplotype inference
- branch and bound algorithm
- lower bound
- branch and bound
- randomly generated
- upper bound
- np hard
- combinatorial optimization
- search tree
- optimal solution
- entropy minimization
- combinatorial problems
- max sat
- multi population
- symmetry breaking
- answer set programming
- sat problem
- integer linear programming
- probabilistic planning