Lógicas de raciocínio aproximado e o problema SAT

Detalhes bibliográficos
Ano de defesa: 2004
Autor(a) principal: Ide, Fabio Luiz
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
Resumo: 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.