Integer linear programming inference for conditional random fields | Synapse