In this talk, we will investigate 0-1 formulations for the wireless network design problem, i.e., the problem of configuring a set of transmitters to provide service coverage to a set of receivers. Unlike traditional mixed-integer formulations that employ continuous variables to represent power emissions, we adopt a different approach by considering only a finite set of power values. This approach offers two significant advantages: it aligns better with practical implementation and eliminates the numerical issues commonly associated with continuous models. The formulation is based on the generalized upper bound (GUB) cover inequalities, which can be easily embedded into a branch-and-cut framework. Several extensions of the formulation will also be discussed.