@article{Gurski_2014, title={Efficient Binary Linear Programming Formulations for Boolean Functions}, volume={2}, url={http://iapress.org/index.php/soic/article/view/20141201}, DOI={10.19139/soic.v2i4.83}, abstractNote={<p>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,\ldots,x_n)=x_{n+1} such as conjunction, disjunction, equivalence, and implication using n+1 boolean variables x1,...,x_{n+1}. For the case that the value f(x1, ...,xn) is not needed for further computations,  we even give more compact formulation. Our formulations show that every binary boolean function f(x1,x2)=x3 can be realized by the only three boolean variables x1,x2,x3 and at most four linear programming constraints.</p><p> </p><p> </p&gt;}, number={4}, journal={Statistics, Optimization & Information Computing}, author={Gurski, Frank}, year={2014}, month={Nov.}, pages={274-279} }