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

Open in new window