1. Ajtai, M.: $$\varSigma _1^1$$Σ11-formulae on finite structures. Ann. Pure Appl. Logic 24(1), 1–48 (1983)
2. Babai, L.: Random oracles separate PSPACE from the polynomial-time hierarchy. IPL 26, 51–53 (1987)
3. Dvir, Z., Liu, A.: Fourier and circulant matrices are not rigid. In: 34th CCC, pp. 17:1–17:23 (2019).
arXiv:1902.07334
[math.CO]
4. Dvir, Z., Liu, A.: Fourier and circulant matrices are not rigid. To appear in TOC, special issue of 34th CCC. See also ECCC, TR19-129, September 2019
5. Erdos, P., Spencer, J.: Probabilistic Methods in Combinatorics. Academic Press Inc., New York (1974)