3-satisfiability problem (Q339688)
Jump to navigation
Jump to search
NP-complete problem
- 3-SAT
- 3CNFSAT
- 3-satisfiability
- 3SAT
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 3-satisfiability problem |
NP-complete problem |
|
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- arwiki 3-سات
- dewiki 3-SAT
- enwiki 3-SAT
- frwiki Problème 3-SAT