路易斯·克鲁兹·菲利佩;Larsen,Kim S。;彼得·施奈德·坎普 正式证明分拣网络的尺寸优化。 (英语) Zbl 1425.68372号 J.汽车。推理 59,第4期,425-454(2017).MSC公司:68吨15 68甲18 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,J.Autom。推理59,No.4,425--454(2017;Zbl 1425.68372) 全文: 内政部
路易斯·克鲁兹·菲利佩;彼得·施奈德·坎普 为大规模计算机生成的证据优化认证的证据检查器。 (英语) Zbl 1417.68180号 Kerber,Manfred(编辑)等人,《智能计算机数学》。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9150, 55-70 (2015).MSC公司:68吨15 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}和\textit{P.Schneider-Kamp},莱克特。注释计算。科学。9150、55-70(2015;Zbl 1417.68180) 全文: 内政部 arXiv公司