Pavel Surynek. At-Most-One Constraints in Efficient Representations of Mutex Networks. In 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020. pages 170-177, IEEE, 2020. [doi]
Abstract is missing.