Projecting systems of linear inequalities with binary variables

We investigate methods for projecting out 0–1 variables from a system of linear inequalities. After reviewing some special cases like monotone polyhedra and the satisfiability problem, we examine why Fourier elimination cannot be applied to the general case. Finally, we give a procedure based on disjunctive programming for solving the general case. We also discuss a simpler procedure applicable only under certain conditions.