Maximum likelihood model based on minor allele frequencies and weighted Max-SAT formulation for haplotype assembly.