SAT implementation of stable matching problem with couples and reference implementations of deferred acceptance algorithms.
-
Updated
Jan 24, 2018 - C++
SAT implementation of stable matching problem with couples and reference implementations of deferred acceptance algorithms.
A solver for 'College Admission Problem with Consent' based on paper 'Legal Assignments and fast EADAM with consent via classical theory of stable matchings'.
TP1 Algorítmos I 2021/1 - Implementa o Algorítmo de Gale Shapley para gerar soluções estáveis entre postos de vacinação e pessoas
Codes used for paper on mathematical modelling
Add a description, image, and links to the stable-matching-problem topic page so that developers can more easily learn about it.
To associate your repository with the stable-matching-problem topic, visit your repo's landing page and select "manage topics."