QUBO formulation: tackle constraint with multiplication of two variables
Currently I have got the constraint like this a+ab <= 1 which can be reformulated to equality by adding slack variable as follows:
(a+ab-1+slack)^2 = 0
Now, I can get all coefficients by calculating the reformulated equality. As the result, I get the follows:
My question is how can I get the value of b by D-Wave in this case? Does anyone have experience in terms of such kind of constraint? Thank you for your answer.