I am a full-time consultant and provide services related to the design, implementation and deployment of mathematical programming, optimization and data-science applications. I also teach courses and workshops. Usually I cannot blog about projects I am doing, but there are many technical notes I'd like to share. Not in the least so I have an easy way to search and find them again myself. You can reach me at firstname.lastname@example.org.
Thursday, May 3, 2012
Is it possible to implement a kind of a boolean addition to binary variables.
Let X, Y and Z be binary variables.
X and Y ara inputs, Z is a result.
X + Y = Z
0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
1 + 1 = 1
So this would be sometning like a logical .OR. addition?
This can be formulated as a set of inequalities:
The variable Z can be relaxed to a continuous variable between 0 and 1 (it will be integer automatically).