Constructing Minimal Perfect Hash Functions Using SAT Technology
Constructing Minimal Perfect Hash Functions Using SAT Technology
复制标题
使用 SAT 技术构造最小完美哈希函数
DOI：
10.1609/aaai.v34i02.5529
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Heule, Marijn
中科院分区：
文献类型：
--
作者：
Weaver, Sean;Heule, Marijn
登录
查看更多内容
密集可剥离随机均匀超图
DOI：
10.4230/lipics.esa.2019.38
发表时间：
2019
期刊：
ArXiv
影响因子：
--
作者：
Martin Dietzfelbinger;Stefan Walzer
通讯作者：
Stefan Walzer
随机超图的缓存不经意剥离
DOI：
--
发表时间：
2013
期刊：
Data Compression Conference
影响因子：
--
作者：
Djamal Belazzougui;P. Boldi;G. Ottaviano;Rossano Venturini;S. Vigna
通讯作者：
S. Vigna
理论上良好的检索数据结构的实验变体
DOI：
10.1007/978-3-642-04128-0_66
发表时间：
2009
期刊：
影响因子：
--
作者：
Martin Aumüller;Martin Dietzfelbinger;Michael Rink
通讯作者：
Michael Rink
XOR-可满足性集成员过滤器
影响因子：
3.7
作者：
S. Weaver;Hannah J. Roberts;Michael J. Smith
通讯作者：
Michael J. Smith
随机二部图中的最大匹配与布谷鸟哈希表的空间利用率
DOI：
--
发表时间：
2009
期刊：
Random Struct. Algorithms
影响因子：
--
作者：
A. Frieze;Páll Melsted
通讯作者：
Páll Melsted