Problema De Satisfacibilidad Booleana
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Problema_de_satisfacibilidad_booleana
Back to Problema De Satisfacibilidad Booleana
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Algoritmo_DPLL
dbpedia-latam:
Algoritmo_de_Davis-Putnam
dbpedia-latam:
Algoritmo_de_aproximación
dbpedia-latam:
Clases_de_complejidad_P_y_NP
dbpedia-latam:
Computación_parasitaria
dbpedia-latam:
Diagrama_de_decisión_binario
dbpedia-latam:
Forma_normal_conjuntiva
dbpedia-latam:
Grafo_mediano
dbpedia-latam:
Hilary_Putnam
dbpedia-latam:
Leslie_Valiant
dbpedia-latam:
Lista_de_21_problemas_NP-completos_de_Karp
dbpedia-latam:
Metaoptimización
dbpedia-latam:
NP-completo
dbpedia-latam:
NP-hard
dbpedia-latam:
NP_(clase_de_complejidad)
dbpedia-latam:
Numeral-P
dbpedia-latam:
PSPACE-completo
dbpedia-latam:
Problema_de_satisfabilidad
dbpedia-latam:
Problema_de_satisfabilidad_booleana
dbpedia-latam:
Problema_de_satisfacción_de_restricciones
dbpedia-latam:
Reducción_(complejidad)
dbpedia-latam:
SAT
dbpedia-latam:
Teorema_de_Cook