Question: What do they constrain using integer linear programming?
Answer: low-rank approximation of the co-occurrence matrix