https://platoaistream.net/plato-data/qubit-efficient-encoding-schemes-for-binary-optimisation-problems/