×

找到2个文档(结果1-2)

基于散列的近似DNF计数方法。 (英语) Zbl 1491.68193号

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第41条,第14页(2018年)。
MSC公司:68T20型 68瓦20 68周25
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

软件