Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Järvisalo. Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT. In Sanmay Das, Ann Nowé, Yevgeniy Vorobeychik, editors, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025. pages 510-518, International Foundation for Autonomous Agents and Multiagent Systems / ACM, 2025. [doi]
Abstract is missing.