Calculo Proposicional Teses
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Resolvedor modular de satisfabilidade aplicados na verificação de circuitos combinacionais
Os resolvedores SAT atuais, como Chaff, zChaff, BerkMin, e Minisat geralmente compartilham das mesmas heurísticas principais, como por exemplo: aprendizado de cláusulas de conflito, backtracking não cronológico, e a estrutura dos dois literais vigiados. Por outro lado, eles se diferenciam na remoção de cláusulas de conflito, bem como na heurística de
Publicado em: 2010
-
2. Uma heurística de decisão baseada na subtração de cubos para solucionadores DPLL do problema de satisfabilidade
Este trabalho propõe uma nova heurística de decisão para solucionadores do problema da satisfabilidade (SAT) baseados no algoritmo de Davis Putnam, Logemann e Loveland (DPLL). Essa heurística se baseia na subtração de cubos. Cada cláusula negada é visualizada como um cubo no espaço de procura booleano n-dimensional, denotando um subespaço onde nenh
Publicado em: 2007