Constructing Minimal Perfect Hash Functions Using SAT Technology.

Sean A. Weaver Marijn Heule

Published in: AAAI (2020)

Keyphrases

minimal perfect hash functions
search algorithm
case study
sat solvers
order preserving
satisfiability problem
feature selection
search space
key technologies