克里希南德·查特吉 沃尔夫冈·德沃拉克 莫妮卡·亨津格 亚历山大·斯沃齐尔 概率验证的符号时间和空间权衡。 1月13日 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470739 conf/lics/2021 db/conf/lics/lics2021.html#ChatterjeeDHS21