The computational utility of inductive linearizations for binary quadratic programs when combined with a mixed-integer programming solver is investigated for several combinatorial optimization problems and established benchmark instances.

The computational utility of inductive linearizations for binary quadratic programs when combined with a mixed-integer programming solver is investigated for several combinatorial optimization problems and established benchmark instances.

A linearization technique for binary quadratic programs (BQPs) that comprise linear constraints is presented. The technique, called “inductive linearization”, extends concepts for BQPs with particular equation constraints, that have been referred to as “compact linearization” before, to...

Introduction to QUBO -- Applications and Computational Advances for Solving the QUBO Model -- Complexity and Polynomially Solvable Special Cases of QUBO -- The Boolean Quadric Polytope -- Autarkies and Persistencies for QUBO -- Mathematical Programming Models and Exact Algorithms -- The Random...