SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples.

Joanna Drummond, Andrew Perrault, Fahiem Bacchus

Browse the full IJCAI paper archive.