,
ACM
Quantum Computer Science , Quantum computing: fault-tolerance, communication, and classical spin-offs
Annual ACM Symposium on Theory of Computing
Algorithms and Complexity

Fiorini, S., Massar, S., Pokutta, S., Tiwary, H. R., & de Wolf, R. (2012). Linear vs semidefinite extended formulations: Exponential separation and strong lower bounds. In Proceedings of the 44th ACM STOC (pp. 95–106). ACM.