Projecting systems of linear inequalities with binary variables |
| |
Authors: | Egon Balas |
| |
Institution: | 1.Carnegie Mellon University,Pittsburgh,USA |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|