En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo.

rdfs:comment
  • En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Problema de satisfacibilidad booleana (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 65305 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 9020 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 23 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 77836669 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [17 values]
Is dbpedia-owl:wikiPageWikiLink of [23 values]