SAT-Based Search for Minwise Independent Families

Abstract

Full Citation:

Iurlano, Enrico, Raidl, Günther R.. SAT-Based Search for Minwise Independent Families. 2025. (Note: preprint)

Enrico Iurlano

Enrico Iurlano is a Project Assistant at the Algorithms and Complexity Group.

Günther Raidl

Günther Raidl is a Professor at the Algorithms and Complexity Group.