Voltar aos Detalhes do Artigo Mixed-integer versus Constraint Programming Solvers Baixar Baixar PDF