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

Published in IJCAI 2015, 2015