A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
A very useful tool when designing linear programs for optimization problems is the formulation of logical operations by linear programming constraints. We give efficient linear programming formulation of important n-ary boolean functions f (x 1 , . . . , xn) = x n+1 such as conjunction, disjunction, equivalence, and implication using n + 1 boolean variables x 1 , . . . , x n+1 . For the case that the value f (x 1 , . . . , xn) is not needed for further computations, we even give a more compactdoi:10.19139/soic.v2i4.83 fatcat:iosfddfh4jghzdsjwqqwrbdkeu