RPOLY
From MaRDI portal
Software:17441
No author found.
Related Items (10)
The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability ⋮ New local search methods for partial MaxSAT ⋮ Mathematical Models and Solutions for the Analysis of Human Genotypes ⋮ The pure parsimony haplotyping problem: overview and computational advances ⋮ Mathematical properties and bounds on haplotyping populations by pure parsimony ⋮ Haplotype inference with pseudo-Boolean optimization ⋮ Efficient Haplotype Inference with Pseudo-boolean Optimization ⋮ Haplotyping populations by pure parsimony based on compatible genotypes and greedy heuris\-tics ⋮ Writing Declarative Specifications for Clauses ⋮ Iterative and core-guided maxsat solving: a survey and assessment
This page was built for software: RPOLY
