swMATH5301MaRDI QIDQ17441FDOQ17441
Author name not available (Why is that?)
Official website: http://rd.springer.com/article/10.1007%2Fs10479-009-0675-4
Cited In (19)
- Efficient Haplotype Inference with Pseudo-boolean Optimization
- Mathematical properties and bounds on haplotyping populations by pure parsimony
- Mathematical models and solutions for the analysis of human genotypes
- Haplotyping populations by pure parsimony based on compatible genotypes and greedy heuris\-tics
- The pure parsimony haplotyping problem: overview and computational advances
- Writing declarative specifications for clauses
- New local search methods for partial MaxSAT
- OptSAT
- Pueblo
- PBS
- BG-WalkSAT
- ToulBar2
- OPIUM
- MSUnCore
- Haplotype inference with pseudo-Boolean optimization
- WordSpy
- CollHaps
- 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
