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. In: D. Bucur, A. Della Cioppa, T. Hu, and E. Medvet (eds.), Parallel Problem Solving from Nature – PPSN XIX, Lecture Notes in Computer Science, Springer (2026), to appear.
Electronic appendix:
here
Source code (to be made available upon publication):
here