Heuristics for Integer Programming Using Surrogate Constraints | Synapse