BQO-SEP : A Library of Separation Routines for Boolean Quadratic Optimization