1
Suporte a estruturas de dados para pesquisa local SAT
O WalkSAT e o GSAT são algoritmos de busca local bem conhecidos e simples para solucionar o problema de satisfação booleana. O pseudocódigo para o algoritmo GSAT é copiado da pergunta Implementando o algoritmo GSAT - Como selecionar qual literal ativar? e apresentado abaixo. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF …