Effective haplotype assembly via maximum Boolean satisfiability - doi # Date : 1389-10 Article type Journal