Duc Minh Do, Christine Rizkallah. Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL. In Valeria de Paiva, Peter Koepke, editors, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. Volume 16136 of Lecture Notes in Computer Science, pages 392-411, Springer, 2025. [doi]
Abstract is missing.