I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Tradeoffs for small-depth Frege proofs:

, In: 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS),
Pitassi, Toniann ; Ramakrishnan, Prasanna ; Tan, Li-Yang - p. 445-456 , 2022
Link: https://doi.org/10.1109/FOCS52979.2021.00052