共 32 条
[1]
Alekseev Y, 2020, Arxiv, DOI arXiv:2010.05660
[2]
[Anonymous], 1995, ENCY MATH ITS APPL
[3]
Barak B, 2012, STOC'12: PROCEEDINGS OF THE 2012 ACM SYMPOSIUM ON THEORY OF COMPUTING, P307
[4]
Barak Boaz, 2014, Sum of squares upper bounds, lower bounds, and open questions
[5]
Beame P, 1996, P LOND MATH SOC, V73, P1
[6]
Beckmann Arnold, ACM T COMPUT LOG, VI, pVI
[7]
The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs
[J].
35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018),
2018, 96
[8]
Buss SR, 2015, T AM MATH SOC, V367, P7517
[9]
Buss Samuel R., 1986, BOUNDED ARITHMETIC, V3, pI
[10]
Buss Sr, 1998, STUD LOGIC, V137, P1