Stability and strategy-proofness for matching with constraints: A necessary and sufficient condition · Study