Fišer, Daniel, Álvaro Torralba, and Alexander Shleyfman. 2019. “Operator Mutexes and Symmetries for Simplifying Planning Tasks”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):7586-93. https://doi.org/10.1609/aaai.v33i01.33017586.