  We consider house allocation with existing tenants in which each agent has
dichotomous preferences. We present strategyproof, polynomial-time, and
(strongly) individually rational algorithms that satisfy the maximum number of
agents. For the endowment only model, one of the algorithms also returns a
core-stable allocation.
