Definability of semidefinite programming and Lasserre lower bounds for CSPs. (English) Zbl 1452.90240
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 48, 12 p. (2017).
MSC:
| 90C22 | Semidefinite programming |
| 68Q25 | Analysis of algorithms and problem complexity |
| 90C27 | Combinatorial optimization |
