Heurísticas para o problema Max-Sat
Francisco Eli Rodrigues de Lima
2019/2 - POC2
Orientador: Thiago Ferreira Noronha
PDF Disponível
Heurísticas são métodos muito usados para obter soluções aproximadas de problemas em que a solução ótima é difícil de se obter em um tempo razoável e troca-se o custo de se ter uma solução não exata pela velocidade da resposta. Para esse artigo, analisar-se-á metaheurísticas existentes na bibliografia atual para o problema do Max-Sat e propor-se-á novas metaheurísticas para o mesmo. Inicialmente, define-se o problema e explica-se a necessidade do uso de heurísticas, bem como uma revisão de heurísticas já propostas da literatura. Em seguida, propõe-se algumas metaheurísticas que serão comparadas com as existentes na literatura
2019/2 - POC2
Orientador: Thiago Ferreira Noronha
PDF Disponível