Plataforma para desenvolvimento e avaliação de resolvedores SAT

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorSilva, Fabiano-
Autor(es): dc.contributorUniversidade Federal do Paraná. Programa de Pós-Graduaçao em Informática-
Autor(es): dc.creatorMello, Arthur Renato, 1985--
Data de aceite: dc.date.accessioned2019-08-21T23:21:21Z-
Data de disponibilização: dc.date.available2019-08-21T23:21:21Z-
Data de envio: dc.date.issued2012-02-06-
Data de envio: dc.date.issued2012-02-06-
Data de envio: dc.date.issued2012-02-06-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/1884/26705-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/1884/26705-
Descrição: dc.descriptionResumo: Este estudo apresenta a criação de uma plataforma para o desenvolvimento e a avaliação de algoritmos que visam resolver o problema de definir a satisfatibilidade de uma fórmula em lógica proposicional. Muitos estudos já foram realizados sobre o problema da satisfatibilidade, principalmente sobre fórmulas na Forma Normal Conjuntiva. Com isso, muitas técnicas foram desenvolvidas baseadas nas características exclusivas desse formato. O algoritmo conhecido como DPLL é utilizado como base técnica para os principais resolvedores atuais. Heurísticas de aprendizado sobre erros e melhores estruturas de representação são os pontos fortes dos algoritmos mais modernos. Porém, a utilização de um formato de representação menos restritivo, não clausal, permite aos resolvedores atuarem sobre um número maior de domínios. Testes automatizados de circuitos são um bom exemplo de aplicação para um resolvedor não clausal. Dada a diversidade de aplicações, o processo de desenvolvimento de tais algoritmos exige a decisão de qual conjunto de técnicas e heurísticas deve ser utilizado para um melhor desempenho. Nesse cenário, uma plataforma de desenvolvimento robusta, que permita a implementação de estruturas e heurísticas específicas, facilita esse processo de decisão, possibilitando, assim, análises comparativas mais precisas entre diversas soluções.-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Palavras-chave: dc.subjectAlgoritmos de computador-
Palavras-chave: dc.subjectAlgoritmos-
Palavras-chave: dc.subjectLogica simbolica e matematica-
Palavras-chave: dc.subjectCalculo proposicional-
Título: dc.titlePlataforma para desenvolvimento e avaliação de resolvedores SAT-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional - Rede Paraná Acervo

Não existem arquivos associados a este item.