We propose a united framework to address a family of classical mixed-integer optimization problems with logically constrained decision variables, including network design, facility location, unit ...