boolean satisfiability problem (Q7272292)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Unfortunately, we do not yet have an article page for this item.
problem of determining if a Boolean formula could be made true
- propositional satisfiability problem
- SATISFIABILITY
- SAT
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | SAT |
||
| English | boolean satisfiability problem |
problem of determining if a Boolean formula could be made true |
|
Statements
Identifiers
6943359
0 references
1 reference
propositional satisfiability problem
0 references
