problema de satisfacibilidad booleana
Sign in to saveAlso known as propositional satisfiability problem, SATISFIABILITY, SAT
problem of determining if a Boolean formula could be made true
Wikidata facts
- Instance of
- constraint satisfaction problem
- Subclass of
- decision problem
Show 5 more facts
- maintained by WikiProject
- WikiProject Mathematics
- topic's main category
- Category:Satisfiability problems
- Commons category
- Boolean satisfiability problem
- computational complexity
- NP-complete
- Stack Exchange tag
- cstheory.stackexchange.com/tags/sat
Sources (2)
via Wikidata · CC0
Article · Español
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.
Abstract from DBpedia / Wikipedia · CC BY-SA