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