MATH  S. Burer, R.D.C. Monteiro, and Y. Zhang. Rank-two relaxation heuristics for MAX-CUT and other binary quadratic programs. SIAM Journal on Optimization, 00:000-000, 0000.MathSciNetCrossRefMATH  K.C. Chang and D.-Z. Du. Efficient algorithms for layer assignment problems. IEEE Transactions on Computer-Aided Design