SAT is an Effective and Complete Method for Solving Stable Matching Problems with CouplesPublished in IJCAI 2015, 2015Share on Twitter Facebook LinkedIn Previous Next