Resolvendo o problema de 3-coloração utilizando o SCIP - Belli, Viviane Frida (2022)
Orientador: André Luiz Pires Guedes