The complexity of counting stable marriages
SIAM Journal on Computing
The stable marriage problem: structure and algorithms
The stable marriage problem: structure and algorithms
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
A unified approach to finding good stable matchings in the hospitals/residents setting
Theoretical Computer Science
A Constraint Programming Approach to the Hospitals / Residents Problem
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Hi-index | 0.89 |
We present two hardness results on the man-exchange stable marriage problem, one of which settles a recent conjecture of Irving on the complexity of determining whether a given instance of the stable marriage problem with short preference lists has a man-exchange stable matching.