Buscar
Itens para a visualização no momento 1-2 of 2
Plataforma para desenvolvimento e avaliação de resolvedores SAT
(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 ...