Now showing items 1-1 of 1

    • Resolvendo o problema de 3-coloração utilizando o SCIP 

      Belli, Viviane Frida (2022)
      Resumo: Neste trabalho propomos uma rotina de pré-processamento a ser executada em instâncias do problema de 3-coloração de grafos no intuito de reduzir o tempo necessário para sua resolução com o SCIP (Solving Constraint ...