• Login
    View Item 
    •   DSpace Home
    • BIBLIOTECA DIGITAL: Teses & Dissertações
    • 40001016034P5 Programa de Pós-Graduação em Informática
    • Dissertações
    • View Item
    •   DSpace Home
    • BIBLIOTECA DIGITAL: Teses & Dissertações
    • 40001016034P5 Programa de Pós-Graduação em Informática
    • Dissertações
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Plataforma para desenvolvimento e avaliação de resolvedores SAT

    Thumbnail
    View/Open
    Dissertacao - Arthur Mello.pdf (414.6Kb)
    Date
    2012-02-06
    Author
    Mello, Arthur Renato, 1985-
    Metadata
    Show full item record
    Subject
    Algoritmos de computador
    Algoritmos
    Logica simbolica e matematica
    Calculo proposicional
    xmlui.dri2xhtml.METS-1.0.item-type
    Dissertação
    Abstract
    Resumo: 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.
    URI
    http://hdl.handle.net/1884/26705
    Collections
    • Dissertações [355]

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_typeThis CollectionBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_type

    My Account

    LoginRegister

    Statistics

    View Usage Statistics

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV