Formula for Multi OR
I would like to formulate the constraint "At least one variable has to be 1" in the QUBO framework.
I need this constraint over multiple variables, so is there a general formula for such a penalty function?
Logically, the formula would look like BIG_OR(x_i) for all variables x_i .
Thanks in advance for your help!!