Optimization via enumeration: a new algorithm for the Max Cut Problem - Galluccio, Anna; Loebl, Martin; Vondrák, Jan (Mathematical programming, 2001)