×

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

离散优化和快速关联攻击。 (英语) Zbl 1421.94054号

Dawson,Ed(编辑)等人,《密码学:策略和算法》。国际会议,澳大利亚昆士兰布里斯班,1995年7月3日至5日。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1029, 186-200 (1996).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

大型公式可满足性测试的分区方法。 (英语) Zbl 1412.68252号

McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。1104, 748-762 (1996).
MSC公司:68吨15 05C65号 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者