Generalized satisfiability problems via operator assignments (Q5919560)
From MaRDI portal
scientific article; zbMATH DE number 7089551
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalized satisfiability problems via operator assignments |
scientific article; zbMATH DE number 7089551 |
Statements
Generalized satisfiability problems via operator assignments (English)
0 references
7 August 2019
0 references
constraint satisfaction problem
0 references
quantum satisfiability
0 references
non-local games
0 references
dichotomy theorems
0 references
linear operators
0 references
undecidable problems
0 references
pp-definitions
0 references
