Buscar
Itens para a visualização no momento 1-1 of 1
Resolvendo o problema de 3-coloração utilizando o SCIP
(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 ...