S. Weaver and M. Heule, “Constructing Minimal Perfect Hash Functions Using SAT Technology”, AAAI, vol. 34, no. 02, pp. 1668-1675, Apr. 2020.