Genetic Algorithms with Optimality Cuts to the Max-Cut Problem. - Pablo Luiz Braga Soares; Carlos Victor Dantas Araújo (BRACIS (3), 2023)