Drummond et al. "SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples." International Joint Conference on Artificial Intelligence, 2015.
Markdown
[Drummond et al. "SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/drummond2015ijcai-sat/)
BibTeX
@inproceedings{drummond2015ijcai-sat,
title = {{SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples}},
author = {Drummond, Joanna and Perrault, Andrew and Bacchus, Fahiem},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {518-525},
url = {https://mlanthology.org/ijcai/2015/drummond2015ijcai-sat/}
}