Weaver, S.; Heule, M. Constructing Minimal Perfect Hash Functions Using SAT Technology. AAAI 2020, 34, 1668-1675.