Haplotype Inference on Pedigrees with Recombinations, Errors, and Missing Genotypes via SAT solvers
Yuri PirolaGianluca Della VedovaStefano BiffaniAlessandra StellaPaola BonizzoniPublished in: CoRR (2011)
Keyphrases
- sat solvers
- haplotype inference
- association studies
- entropy minimization
- orders of magnitude
- sat solving
- propositional satisfiability
- max sat
- answer set programming
- search strategies
- sat problem
- constraint satisfaction
- search tree
- search space
- sat instances
- answer sets
- multi population
- neural network
- weighted max sat
- clause learning
- branch and bound algorithm
- randomly generated