Can I read Algoritmos DPLL en Inferencia Proposicional on EtoBox?

Algoritmos DPLL en Inferencia Proposicional by Esteban HP is a document available to read on EtoBox.

What is Algoritmos DPLL en Inferencia Proposicional about?

Este documento describe dos familias de algoritmos eficientes para la inferencia lógica proposicional: un enfoque basado en búsqueda con backtracking y otro basado en búsqueda de colina ascendente. También describe el algoritmo DPLL para comprobar satisfacibilidad y cómo los algoritmos de búsqueda local como el SAT-CAMINAR son útiles para resolver problemas reales, aunque no siempre detectan insatisfacibilidad. Finalmente, señala que están más interesados en problemas difíciles porque los fáciles se pueden

Author

Esteban HP

Language

ES