Image by kalhh on Pixabay · Pixabay License
3-SAT
Sign in to saveAlso known as 3CNFSAT, 3-satisfiability, 3SAT
REDIRECT Boolean satisfiability problem#3-satisfiability
Wikidata facts
- Instance of
- NP-complete
- Image
- Sat reduced to Clique from Sipser.svg
Show 2 more facts
- computational complexity
- NP-complete
- Stack Exchange tag
- quantumcomputing.stackexchange.com/tags/3sat-problem
Sources (1)
via Wikidata · CC0