Chatterjee, K.; Luo, R.; Saona, R.; Svoboda, J. Linear Equations With Min and Max Operators: Computational Complexity. AAAI 2025, 39, 11150-11157.