Haplotype inference with pseudo-Boolean optimization | Publicación