We study the problem of assigning indivisible and heterogeneous objects to agents. Each
agent receives at most one object and monetary compensations are not possible. We
consider mechanisms satisfying a set of basic properties (unavailable-type-invariance,
individual-rationality, weak non-wastefulness, or truncation-invariance). In the house
allocation problem, deferred-acceptance (DA)-mechanisms allocate objects based on
exogenously fixed priorities over agents. We show that DA-mechanisms are characterized …