SAT-Based Search for Minwise Independent Families

Abstract

Full Citation:

Iurlano, Enrico, Raidl, Günther R.. SAT-Based Search for Minwise Independent Families. Parallel Problem Solving from Nature – PPSN XIX (Nadizar, Giorgia and Yaman, Anil), 2026, Springer. (Note: To appear)

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.