explicitly state similarities and differences to existing ILP formulations