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

Joanna Drummond Andrew Perrault Fahiem Bacchus

Published in: IJCAI (2015)

Keyphrases

computationally efficient
algebraic equations
dynamic programming
pattern matching
matching algorithm
evolutionary algorithm
combinatorial optimization
solving problems
matching scheme
map matching