Solving Hard Stable Matching Problems Involving Groups of Similar Agents.

Kitty Meeks Baharak Rastegari

Published in: CoRR (2017)

Keyphrases

problems involving
solving hard
combinatorial problems
solving complex
satisfiability problem
multiple objectives
search problems
optimization problems
propositional logic
sat problem
propositional satisfiability