Qiu, Zirou, Chen Chen, Madhav Marathe, S.S. Ravi, Daniel J. Rosenkrantz, Richard Stearns, and Anil Vullikanti. 2022. “Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems: Complexity, Special Case Algorithms and Heuristics”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9):9422-30. https://doi.org/10.1609/aaai.v36i9.21174.