External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL

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]

Authors

Duc Minh Do

This author has not been identified. Look up 'Duc Minh Do' in Google

Christine Rizkallah

This author has not been identified. Look up 'Christine Rizkallah' in Google
runs on