Heurísticas para o problema Max-Sat

Francisco Eli Rodrigues de Lima

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