Placing quantified variants of 3-SAT and \textsc{not-all-equal} 3-SAT in the polynomial hierarchy (Q2182311)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Placing quantified variants of 3-SAT and \textsc{not-all-equal} 3-SAT in the polynomial hierarchy |
scientific article |
Statements
Placing quantified variants of 3-SAT and \textsc{not-all-equal} 3-SAT in the polynomial hierarchy (English)
0 references
23 May 2020
0 references
3-SAT
0 references
not-all-equal 3-SAT
0 references
quantified satisfiability
0 references
polynomial hierarchy
0 references
bounded variable appearances
0 references
computational complexity
0 references
0 references