At-Most-One Constraints in Efficient Representations of Mutex Networks