WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: Inferencia Proposicional Efectiva, Inferencia Proposicional Efectiva define Problemas duros de Satisfacibilidad, Algoritmo de búsqueda Local determina si una sentencia de entrada con lógica proposicional es satisfacible, Inferencia Proposicional Efectiva define Algoritmo de búsqueda Local, Backtracking determina si una sentencia de entrada con lógica proposicional es satisfacible, Inferencia Proposicional Efectiva define Backtracking