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

The impact of heterogeneity and geometry on the proof compl..:

, In: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms,
Bläsius, Thomas ; Friedrich, Tobias ; Göbel, Andreas.. - p. 42-53 , 2021
Link: https://dl.acm.org/doi/10.5555/3458064.3458068