SpeeDP: an algorithm to compute SDP bounds for very large max-cut instances
unconstrained binary quadratic programming
scientific article; zbMATH DE number 6116940