Supplementary material

This collection contains supplementary material for the following paper:

[1] Enrico Iurlano and Günther R. Raidl: SAT-Based Search for Minwise Independent Families. (submitted)

Electronic appendix: here

Source code: here