Optimization formulation targeted by quantum annealers and used to encode combinatorial problems.