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

Dai Tri Man Le, Stephen A. Cook, Yuli Ye

Browse the full CSL paper archive.