Joanna Drummond, Andrew Perrault, Fahiem Bacchus. SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 518-525, AAAI Press, 2015. [doi]
@inproceedings{DrummondPB15,
title = {SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples},
author = {Joanna Drummond and Andrew Perrault and Fahiem Bacchus},
year = {2015},
url = {http://ijcai.org/papers15/Abstracts/IJCAI15-079.html},
researchr = {https://researchr.org/publication/DrummondPB15},
cites = {0},
citedby = {0},
pages = {518-525},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015},
editor = {Qiang Yang 0001 and Michael Wooldridge},
publisher = {AAAI Press},
isbn = {978-1-57735-738-4},
}