Navegação Dissertações por autor "Mello, Arthur Renato, 1985-"
Itens para a visualização no momento 1-1 of 1
-
Plataforma para desenvolvimento e avaliação de resolvedores SAT
Mello, Arthur Renato, 1985- (2012-02-06)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 ...