We propose a united framework to address a family of classical mixed-integer optimization problems with logically ... we challenge this longstanding modeling practice and express the logical ...