S. Zeng, S. Zhang, F. Wu, S. Tang, and X. Li, “Scalable Mixed-Integer Optimization with Neural Constraints via Dual Decomposition”, AAAI, vol. 40, no. 17, pp. 14388–14396, Mar. 2026.