A continuous approximation of a mixed-integer program where binary constraints are relaxed, used to bound solution quality.