BiqBin: A Parallel Branch-and-bound Solver for Binary Quadratic Problems with Linear Constraints