Exponential lower bound for static semi-algebraic proofs
- Dima Grigoriev
- , Edward A. Hirsch
- , Dmitrii V. Pasechnik
פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
11
ציטוטים
(Scopus)