From: Better ILP models for haplotype assembly
x j
z i
x j +z i −1
t i,j
(1−x j −z i +2t i,j )
0
− 1
1