RPOLY
From MaRDI portal
Cited in
(20)- Mathematical properties and bounds on haplotyping populations by pure parsimony
- Efficient Haplotype Inference with Pseudo-boolean Optimization
- Haplotyping populations by pure parsimony based on compatible genotypes and greedy heuris\-tics
- Mathematical models and solutions for the analysis of human genotypes
- The pure parsimony haplotyping problem: overview and computational advances
- Writing declarative specifications for clauses
- OptSAT
- Pueblo
- MaxSolver
- PBS
- BG-WalkSAT
- ToulBar2
- OPIUM
- MSUnCore
- WordSpy
- CollHaps
- New local search methods for partial MaxSAT
- Haplotype inference with pseudo-Boolean optimization
- Iterative and core-guided maxsat solving: a survey and assessment
- The complete parsimony haplotype inference problem and algorithms based on integer programming, branch-and-bound and Boolean satisfiability
This page was built for software: RPOLY
