SAT-Based Search for Minwise Independent Families

Abstract

Full Citation:

Enrico Iurlano, Günther R. Raidl. SAT-Based Search for Minwise Independent Families. Parallel Problem Solving from Nature – PPSN XIX (Giovanni Iacca, Giorgia Nadizar, Anil Yaman, Doina Bucur, Antonio Della Cioppa, Ting Hu, Eric Medvet, Sarah L. Thomson, eds.), volume 16985 of LNCS, pages 433–449, 2026, Springer.

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.