Constructing Minimal Perfect Hash Functions Using SAT Technology

Sean Weaver, Marijn Heule

Minimal perfect hash functions (MPHFs) are used to provide efficient access to values of large dictionaries (sets of key-value pairs). Discovering new algorithms for building MPHFs…