This paper presents new formulations for multi-activity shift scheduling problems (MASSP). In these formulations, the rules governing the feasibility of shifts are encoded in state-expanded networks in which nodes are associated with states and arcs represent assignments inducing state...