Binary matrix completion with performance guarantees for single individual haplotyping | IEEE Conference Publication | IEEE Xplore