Binary Programming is a special case of integer programming where decision variables are restricted to binary values: 0 or 1. These variables represent yes/no decisions such as: select a project or not, open a facility or not, assign a task or not. Binary variables are used in: knapsack problems, set covering, facility location, scheduling, and network design. Formulation often involves logical constraints using binary variables to model conditional relationships, implications, and disjunctions.