Michael Jünger, Sven Mallach: Exact Facetial Odd-Cycle Separation for Maximum Cut and Binary Quadratic Optimization. INFORMS J. Comput. 33(4): 1419-1430 (2021)