psrenergy / ToQUBO.jl

🟦 JuMP ToQUBO Automatic Reformulation
https://psrenergy.github.io/ToQUBO.jl
Other
27 stars 2 forks source link

Use Domain-Wall for SOS1 constraint encoding #61

Open pedroripper opened 1 year ago

pedroripper commented 1 year ago

We are currently using one-hot approach. Not great, but it works.

IDEA: Use Domain-Wall. Define new variables $y_{i}$ such that $xi = y{i + 1} - y{i}$, substituting every occurence of $x{i}$ across the model.

_Originally posted by @bernalde in https://github.com/psrenergy/ToQUBO.jl/pull/59#discussion_r1103286053_