Otimização Combinatória e Raciocínio Automático Conceito