Computational Complexity of Quantum Satisfiability (Q3177775)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational Complexity of Quantum Satisfiability |
scientific article |
Statements
Computational Complexity of Quantum Satisfiability (English)
0 references
2 August 2018
0 references
Blum-Shub-Smale model
0 references
quantum logic
0 references
computational complexity
0 references
existential theory of the reals
0 references
satisfiability
0 references
