Maximum likelihood model based on minor allele frequencies and weighted Max-SAT formulation for haplotype assembly - doi # 2014-06 Article type Journal