Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03241303n
Noun Concept
Categories: Métodos formales, Problemas NP-completos, Lógica matemática
ES
problema de satisfacibilidad booleana  3-SAT  Problema de satisfabilidad  Problema de satisfabilidad booleana  satisfiability proposicional
ES
En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo. Wikipedia
Definitions
Relations
Sources
ES
En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo. Wikipedia
Problema de determinar si las variables de una fórmula booleana dada se pueden asignar a fin de hacer que la fórmula evalúe en VERDADERO. OmegaWiki
IS A
NP-completo
satisfacibilidad
problema de decisión
PART OF
Lista de 21 problemas NP-completos de Karp
HAS KIND
2-satisfiability
Wikipedia
ES
problema de satisfacibilidad booleana
Wikidata
ES
problema de satisfacibilidad booleana
OmegaWiki
ES
problema de satisfacibilidad booleana
Wikipedia Redirections
ES
3-SAT, Problema de satisfabilidad, Problema de satisfabilidad booleana
Wikidata Alias
ES
Problema de satisfabilidad, Problema de satisfabilidad booleana
Wikipedia Translations
ES
satisfiability proposicional

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License