User contributions
Jump to navigation
Jump to search
- 20:35, 1 May 2017 diff hist +224 Complexity Zoo References →K: add KRR13
- 20:26, 1 May 2017 diff hist +149 Complexity Zoo:M →MIPns: MIP with Non-Signaling Provers: Fix statement for power of MIPns