Skip to content

Constructing Minimal Perfect Hash Functions Using SAT Technology.

Sean A. Weaver, Marijn Heule

VenueA*AAAI
Year2020
ProceedingsAAAI

Browse the full AAAI paper archive.