Exportar registro bibliográfico

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

  • Authors:
  • Autor USP: IDE, FABIO LUIZ - IME
  • Unidade: IME
  • Sigla do Departamento: MAC
  • Assunto: INTELIGÊNCIA ARTIFICIAL
  • Language: Português
  • Abstract: 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.
  • Imprenta:
  • Data da defesa: 14.10.2004

  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      IDE, Fabio Luiz; FINGER, Marcelo. Lógicas de raciocínio aproximado e o problema SAT. 2004.Universidade de São Paulo, São Paulo, 2004.
    • APA

      Ide, F. L., & Finger, M. (2004). Lógicas de raciocínio aproximado e o problema SAT. Universidade de São Paulo, São Paulo.
    • NLM

      Ide FL, Finger M. Lógicas de raciocínio aproximado e o problema SAT. 2004 ;
    • Vancouver

      Ide FL, Finger M. Lógicas de raciocínio aproximado e o problema SAT. 2004 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021