@misc{iurlano-24c, title={SAT-Based Search for Minwise Independent Families}, author={Iurlano, Enrico and Raidl, Günther R.}, year={2024}, eprint={2412.11811}, archivePrefix={arXiv}, primaryClass={cs.DM}, note={preprint}, url={https://arxiv.org/abs/2412.11811}, }