true quantified Boolean formula (Q1350285)
Jump to navigation
Jump to search
problem of deciding the satisfiability of a true quantified Boolean formula
- QSAT
- TQBF
- Quantified SAT
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | true quantified Boolean formula |
problem of deciding the satisfiability of a true quantified Boolean formula |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(8 entries)
- dewiki Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
- enwiki True quantified Boolean formula
- eswiki Fórmula booleana cuantificada verdadera
- frwiki Formule booléenne quantifiée
- hewiki TQBF
- jawiki TQBF問題
- ptwiki Fórmula booliana completamente quantificada
- trwiki TQBF Problemi