Chatterjee, Krishnendu, Ruichen Luo, Raimundo Saona, and Jakub Svoboda. 2025. “Linear Equations With Min and Max Operators: Computational Complexity”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (11):11150-57. https://doi.org/10.1609/aaai.v39i11.33212.