O objetivo deste trabalho é utilizar os conhecimentos de lógicas de raciocínio aproximado para incrementar os métodos de resolução do problema SAT (completos e incompletos), através da criação de novas heurísticas que reduzem o tamanho do espaço de busca de uma dada instância o problema. Foram desenvolvidos dois novos algoritmos, denominados S1 e s1, que foram testados sobre o problema das N-Rainhas para a análise de sua eficiência.

not available