A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem.

Dai Tri Man Le Stephen A. Cook Yuli Ye

Published in: CSL (2011)

Keyphrases

formal theory
stable marriage
partial order
related problems
belief update
tractable cases
soft constraints
commonsense reasoning
artificial intelligence
multiscale
object recognition
worst case
spatial reasoning