{"version":"1.0","type":"link","title":"Algoritmo DPLL - Newikis","description":"O algoritmo DPLL/Davis-Putnam-Logemann-Loveland é um algoritmo completo baseado em backtracking (re-leitura ou voltar atrás) para decidir a satisfatibilidade das fórmulas de lógica proposicional na forma normal clausal, isto é, para solucionar o problema SAT.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}