引用人
查特吉K 德沃亚克W 亨廷格M 斯沃齐尔A 戈拉·D (2021) 概率验证的符号时间和空间权衡 第36届ACM/IEEE计算机科学逻辑年会论文集 10.1109/LICS52264.2021.9470739 (1-13) 在线发布日期:2021年6月29日 Ashok P公司 布拉兹迪尔T 查特吉K KřetínsköJ 兰伯特C 托曼五世 (2019) 基于线性分类器的决策树策略表示 系统的定量评估 10.1007/978-3-030-30281-8_7 (109-128) 在线发布日期:2019年9月10日 拜尔C 杜伯斯拉夫C (2018) 从核查到成本效用约束下的综合 ACM SIGLOG新闻 10.1145/3292048.3292052 5 :4 (26-46) 在线发布日期:2018年11月12日 显示更多引用人