This shows you the differences between two versions of the page.

Link to this comparison view

ships [2016/11/18 15:43] (current)
ajrm created
Line 1: Line 1:
 +====== SHIPs - Satisfiability-based Haplotype Inference with Pure Parsimony ======
 +A binary distribution of SHIPs is available from [[http://​www.csi.ucd.ie/​staff/​jpms/​soft/​|here]]. ​
 +An improvement over SHIPs is [[http://​sat.inesc-id.pt/​~assg/​rpoly/​|RPoly]].
 +A recent performance comparison of different HIPP solvers is available from [[http://​sat.inesc-id.pt/​~assg/​hipp_results/​|here]]. These results demonstrate that SAT/​PB-based approaches still outperform all other HIPP approaches.