Export Citations
1 Results for: Keyword: Gale-Shapley
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,836,223 records)|Limit your search to The ACM Full-Text Collection (774,124 records)
Showing 1 - 1of1 Results
Select All
- research-articleJune 2024
Gale-Shapley Verified
Journal of Automated Reasoning (JAUR), Volume 68, Issue 2https://doi.org/10.1007/s10817-024-09700-xAbstractThis paper presents a detailed verification of the Gale-Shapley algorithm for stable matching (or marriage). The verification proceeds by stepwise transformation of programs and proofs. The initial steps are on the level of imperative programs, ...
